Moved font settings from Vertex to GraphView.
4 # Author: Markus Wenzel, TU Muenchen
5 # License: GPL (GNU GENERAL PUBLIC LICENSE)
7 # build - compile the Isabelle system and object-logics
12 ALL_LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Pure Sequents ZF"
17 PRG="$(basename "$0")"
19 export THIS_IS_ISABELLE_BUILD=true
20 ISABELLE_HOME="$(dirname "$0")"
21 . "$ISABELLE_HOME/lib/scripts/getsettings" || \
22 { echo "$PRG probably not called from its original place!"; exit 2; }
30 echo "Usage: $PRG [OPTIONS] [LOGICS ...]"
35 echo " -i make images"
36 echo " -m TARGET make this target"
39 echo " Compile the named LOGICS (default $ISABELLE_LOGIC), or all object logics"
40 echo " in the distribution."
52 ## process command line
60 while getopts "abim:t" OPT
70 TARGETS="$TARGETS images"
73 TARGETS="$TARGETS $OPTARG"
76 TARGETS="$TARGETS test"
84 shift $(($OPTIND - 1))
91 [ -n "$ALL" ] && LOGICS="$LOGICS $ALL_LOGICS"
92 [ -z "$LOGICS" ] && LOGICS="$ISABELLE_LOGIC"
97 # tell the user about current values
99 if [ -z "$BATCH" ]; then
101 echo " *****************************"
102 echo " * Welcome to Isabelle build *"
103 echo " *****************************"
105 echo "Please check $ISABELLE_HOME/etc/settings"
106 [ -f "$ISABELLE_HOME_USER/etc/settings" ] && echo "AND $ISABELLE_HOME_USER/etc/settings"
107 echo "to make sure that Isabelle's ML system settings and compilation options"
108 echo "are appropriate."
110 echo "The current values are:"
112 echo " ML_SYSTEM=$ML_SYSTEM"
113 echo " ML_HOME=$ML_HOME"
114 echo " ML_OPTIONS=$ML_OPTIONS"
115 echo " ML_PLATFORM=$ML_PLATFORM"
117 echo " ISABELLE_USEDIR_OPTIONS=$ISABELLE_USEDIR_OPTIONS"
123 if [ -z "$BATCH" ]; then
126 echo "Press RETURN to compilation of"
135 DIR="$ISABELLE_HOME/src/$L"
136 if [ -f "$DIR/IsaMakefile" ]; then
137 MAKE_LOGICS="$MAKE_LOGICS $L"
139 echo "No such logic: $L"
144 if [ -z "$BATCH" ]; then
146 [ -n "$TARGETS" ] && echo " (targets:$TARGETS)"
151 echo "Isabelle build: $MAKE_LOGICS"
152 [ -n "$TARGETS" ] && echo "(targets:$TARGETS)"
154 echo "ML_SYSTEM=$ML_SYSTEM"
155 echo "ML_HOME=$ML_HOME"
156 echo "ML_OPTIONS=$ML_OPTIONS"
157 echo "ML_PLATFORM=$ML_PLATFORM"
159 echo "ISABELLE_USEDIR_OPTIONS=$ISABELLE_USEDIR_OPTIONS"
167 echo "Started at $(date) ($ML_IDENTIFIER on $(hostname))"
169 for L in $MAKE_LOGICS
171 ( cd "$ISABELLE_HOME/src/$L"; "$ISATOOL" make $TARGETS )
174 echo -n "Finished at "; date
176 ELAPSED=$("$ISABELLE_HOME/lib/scripts/showtime" "$SECONDS")
177 echo "$ELAPSED total elapsed time"