-i option;
authorwenzelm
Mon Feb 08 15:53:56 1999 +0100 (1999-02-08)
changeset 6256e17fb80b3ce1
parent 6255 db63752140c7
child 6257 ee0b48ab5aea
-i option;
build
     1.1 --- a/build	Mon Feb 08 13:02:56 1999 +0100
     1.2 +++ b/build	Mon Feb 08 15:53:56 1999 +0100
     1.3 @@ -29,7 +29,8 @@
     1.4    echo "  Options are:"
     1.5    echo "    -a           all logics"
     1.6    echo "    -b           batch mode"
     1.7 -  echo "    -t           run tests"
     1.8 +  echo "    -i           make images"
     1.9 +  echo "    -t           make test"
    1.10    echo
    1.11    echo "  Compile the named LOGICS (default $ISABELLE_LOGIC), or all object logics"
    1.12    echo "  in the distribution."
    1.13 @@ -50,9 +51,10 @@
    1.14  
    1.15  ALL=""
    1.16  BATCH=""
    1.17 +IMAGES=""
    1.18  TEST=""
    1.19  
    1.20 -while getopts "abt" OPT
    1.21 +while getopts "abit" OPT
    1.22  do
    1.23    case "$OPT" in
    1.24      a)
    1.25 @@ -61,6 +63,9 @@
    1.26      b)
    1.27        BATCH=true
    1.28        ;;
    1.29 +    i)
    1.30 +      IMAGES=images
    1.31 +      ;;
    1.32      t)
    1.33        TEST=test
    1.34        ;;
    1.35 @@ -155,7 +160,7 @@
    1.36  
    1.37  for L in $MAKE_LOGICS
    1.38  do
    1.39 -  ( cd $ISABELLE_HOME/src/$L; $ISATOOL make images $TEST )
    1.40 +  ( cd $ISABELLE_HOME/src/$L; $ISATOOL make $IMAGES $TEST )
    1.41  done
    1.42  
    1.43  echo -n "Finished at "; date