--- a/build Tue May 20 11:52:42 2003 +0200
+++ b/build Fri May 23 17:18:10 2003 +0200
@@ -56,8 +56,9 @@
ALL=""
BATCH=""
TARGETS=""
+MAKEFLAGS=""
-while getopts "abim:t" OPT
+while getopts "abim:p:t" OPT
do
case "$OPT" in
a)
@@ -75,6 +76,9 @@
t)
TARGETS="$TARGETS test"
;;
+ p)
+ MAKEFLAGS="$MAKEFLAGS HOL_PROOF_OBJECTS=-p $OPTARG"
+ ;;
\?)
usage
;;
@@ -168,7 +172,7 @@
for L in $MAKE_LOGICS
do
- ( cd "$ISABELLE_HOME/src/$L"; "$ISATOOL" make $TARGETS )
+ ( cd "$ISABELLE_HOME/src/$L"; "$ISATOOL" make "$MAKEFLAGS" $TARGETS )
done
echo -n "Finished at "; date