--- a/build Mon Feb 08 13:02:56 1999 +0100
+++ b/build Mon Feb 08 15:53:56 1999 +0100
@@ -29,7 +29,8 @@
echo " Options are:"
echo " -a all logics"
echo " -b batch mode"
- echo " -t run tests"
+ echo " -i make images"
+ echo " -t make test"
echo
echo " Compile the named LOGICS (default $ISABELLE_LOGIC), or all object logics"
echo " in the distribution."
@@ -50,9 +51,10 @@
ALL=""
BATCH=""
+IMAGES=""
TEST=""
-while getopts "abt" OPT
+while getopts "abit" OPT
do
case "$OPT" in
a)
@@ -61,6 +63,9 @@
b)
BATCH=true
;;
+ i)
+ IMAGES=images
+ ;;
t)
TEST=test
;;
@@ -155,7 +160,7 @@
for L in $MAKE_LOGICS
do
- ( cd $ISABELLE_HOME/src/$L; $ISATOOL make images $TEST )
+ ( cd $ISABELLE_HOME/src/$L; $ISATOOL make $IMAGES $TEST )
done
echo -n "Finished at "; date