Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Print messages to stderr to ensure visibility in logs.

This commit is contained in:
Achim D. Brucker 2019-07-19 23:32:26 +01:00
parent 54718131e5
commit b547d0cae8
1 changed files with 11 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
document-generator/document-template/build
View File

@ -28,17 +28,17 @@
set -e set -e
if [ ! -f $ISABELLE_HOME_USER/DOF/document-template/build_lib.sh ]; then if [ ! -f $ISABELLE_HOME_USER/DOF/document-template/build_lib.sh ]; then
echo "" >&2 echo ""
echo "Error: Isabelle/DOF not installed" >&2 echo "Error: Isabelle/DOF not installed"
echo "=====" >&2 echo "====="
echo "This is a Isabelle/DOF project. The document preparation requires" >&2 echo "This is a Isabelle/DOF project. The document preparation requires"
echo "the Isabelle/DOF framework. Please obtain the framework by cloning" >&2 echo "the Isabelle/DOF framework. Please obtain the framework by cloning"
echo "the Isabelle/DOF git repository, i.e.: " >&2 echo "the Isabelle/DOF git repository, i.e.: "
echo " git clone https://git.logicalhacking.com/HOL-OCL/Isabelle_DOF" >&2 echo " git clone https://git.logicalhacking.com/HOL-OCL/Isabelle_DOF"
echo "You can install the framework as follows:" >&2 echo "You can install the framework as follows:"
echo " cd Isabelle_DOF/document-generator" >&2 echo " cd Isabelle_DOF/document-generator"
echo " ./install" >&2 echo " ./install"
echo "" >&2 echo ""
exit 1 exit 1
fi fi