--- a/build Wed Oct 20 11:06:47 1999 +0200
+++ b/build Wed Oct 20 12:52:56 1999 +0200
@@ -14,6 +14,7 @@
PRG=$(basename $0)
+export THIS_IS_ISABELLE_BUILD=true
ISABELLE_HOME=$(dirname $0)
. $ISABELLE_HOME/lib/scripts/getsettings || \
{ echo "$PRG probably not called from its original place!"; exit 2; }
@@ -30,6 +31,7 @@
echo " -a all logics"
echo " -b batch mode"
echo " -i make images"
+ echo " -m TARGET make this target"
echo " -t make test"
echo
echo " Compile the named LOGICS (default $ISABELLE_LOGIC), or all object logics"
@@ -51,10 +53,9 @@
ALL=""
BATCH=""
-IMAGES=""
-TEST=""
+TARGETS=""
-while getopts "abit" OPT
+while getopts "abim:t" OPT
do
case "$OPT" in
a)
@@ -64,10 +65,13 @@
BATCH=true
;;
i)
- IMAGES=images
+ TARGETS="$TARGETS images"
+ ;;
+ m)
+ TARGETS="$TARGETS $OPTARG"
;;
t)
- TEST=test
+ TARGETS="$TARGETS test"
;;
\?)
usage
@@ -160,12 +164,9 @@
HOST=$(hostname)
echo "Started at $DATE ($HOST)"
-unset ISABELLE_SETTINGS_PRESENT
-export THIS_IS_ISABELLE_BUILD=true
-
for L in $MAKE_LOGICS
do
- ( cd $ISABELLE_HOME/src/$L; $ISATOOL make $IMAGES $TEST )
+ ( cd $ISABELLE_HOME/src/$L; $ISATOOL make $TARGETS )
done
echo -n "Finished at "; date