build
changeset 14041 c2d981d222bf
parent 10555 2323ec838401
child 14056 f8ed8428b41c
     1.1 --- a/build	Tue May 20 11:52:42 2003 +0200
     1.2 +++ b/build	Fri May 23 17:18:10 2003 +0200
     1.3 @@ -56,8 +56,9 @@
     1.4  ALL=""
     1.5  BATCH=""
     1.6  TARGETS=""
     1.7 +MAKEFLAGS=""
     1.8  
     1.9 -while getopts "abim:t" OPT
    1.10 +while getopts "abim:p:t" OPT
    1.11  do
    1.12    case "$OPT" in
    1.13      a)
    1.14 @@ -75,6 +76,9 @@
    1.15      t)
    1.16        TARGETS="$TARGETS test"
    1.17        ;;
    1.18 +    p)
    1.19 +      MAKEFLAGS="$MAKEFLAGS HOL_PROOF_OBJECTS=-p $OPTARG"
    1.20 +      ;;
    1.21      \?)
    1.22        usage
    1.23        ;;
    1.24 @@ -168,7 +172,7 @@
    1.25  
    1.26  for L in $MAKE_LOGICS
    1.27  do
    1.28 -  ( cd "$ISABELLE_HOME/src/$L"; "$ISATOOL" make $TARGETS )
    1.29 +  ( cd "$ISABELLE_HOME/src/$L"; "$ISATOOL" make "$MAKEFLAGS" $TARGETS )
    1.30  done
    1.31  
    1.32  echo -n "Finished at "; date