build
changeset 7889 56e91ac0f074
parent 7782 d4a6464ed61e
child 9789 7e5e6c47c0b5
     1.1 --- a/build	Wed Oct 20 11:06:47 1999 +0200
     1.2 +++ b/build	Wed Oct 20 12:52:56 1999 +0200
     1.3 @@ -14,6 +14,7 @@
     1.4  
     1.5  PRG=$(basename $0)
     1.6  
     1.7 +export THIS_IS_ISABELLE_BUILD=true
     1.8  ISABELLE_HOME=$(dirname $0)
     1.9  . $ISABELLE_HOME/lib/scripts/getsettings || \
    1.10    { echo "$PRG probably not called from its original place!"; exit 2; }
    1.11 @@ -30,6 +31,7 @@
    1.12    echo "    -a           all logics"
    1.13    echo "    -b           batch mode"
    1.14    echo "    -i           make images"
    1.15 +  echo "    -m TARGET    make this target"
    1.16    echo "    -t           make test"
    1.17    echo
    1.18    echo "  Compile the named LOGICS (default $ISABELLE_LOGIC), or all object logics"
    1.19 @@ -51,10 +53,9 @@
    1.20  
    1.21  ALL=""
    1.22  BATCH=""
    1.23 -IMAGES=""
    1.24 -TEST=""
    1.25 +TARGETS=""
    1.26  
    1.27 -while getopts "abit" OPT
    1.28 +while getopts "abim:t" OPT
    1.29  do
    1.30    case "$OPT" in
    1.31      a)
    1.32 @@ -64,10 +65,13 @@
    1.33        BATCH=true
    1.34        ;;
    1.35      i)
    1.36 -      IMAGES=images
    1.37 +      TARGETS="$TARGETS images"
    1.38 +      ;;
    1.39 +    m)
    1.40 +      TARGETS="$TARGETS $OPTARG"
    1.41        ;;
    1.42      t)
    1.43 -      TEST=test
    1.44 +      TARGETS="$TARGETS test"
    1.45        ;;
    1.46      \?)
    1.47        usage
    1.48 @@ -160,12 +164,9 @@
    1.49  HOST=$(hostname)
    1.50  echo "Started at $DATE ($HOST)"
    1.51  
    1.52 -unset ISABELLE_SETTINGS_PRESENT
    1.53 -export THIS_IS_ISABELLE_BUILD=true
    1.54 -
    1.55  for L in $MAKE_LOGICS
    1.56  do
    1.57 -  ( cd $ISABELLE_HOME/src/$L; $ISATOOL make $IMAGES $TEST )
    1.58 +  ( cd $ISABELLE_HOME/src/$L; $ISATOOL make $TARGETS )
    1.59  done
    1.60  
    1.61  echo -n "Finished at "; date