build
changeset 2918 0305b0acba78
parent 2914 01d24f98528f
child 2936 bd33e7aae062
equal deleted inserted replaced
2917:c7411fce37e4 2918:0305b0acba78
    22   echo "Usage: $PRG [OPTIONS] [LOGICS ...]"
    22   echo "Usage: $PRG [OPTIONS] [LOGICS ...]"
    23   echo
    23   echo
    24   echo "  Options are:"
    24   echo "  Options are:"
    25   echo "    -a           all logics"
    25   echo "    -a           all logics"
    26   echo "    -b           batch mode"
    26   echo "    -b           batch mode"
       
    27   echo "    -t           run tests"
    27   echo
    28   echo
    28   echo "  Compile the named LOGICS (default $DEFAULT_LOGIC), or all object logics"
    29   echo "  Compile the named LOGICS (default $DEFAULT_LOGIC), or all object logics"
    29   echo "  in the distribution."
    30   echo "  in the distribution."
    30   echo
    31   echo
    31   exit 1
    32   exit 1
    42 
    43 
    43 # options
    44 # options
    44 
    45 
    45 ALL=""
    46 ALL=""
    46 BATCH=""
    47 BATCH=""
       
    48 TEST=""
    47 
    49 
    48 while getopts "ab" OPT
    50 while getopts "abt" OPT
    49 do
    51 do
    50   case "$OPT" in
    52   case "$OPT" in
    51     a)
    53     a)
    52       ALL=true
    54       ALL=true
    53       ;;
    55       ;;
    54     b)
    56     b)
    55       BATCH=true
    57       BATCH=true
       
    58       ;;
       
    59     t)
       
    60       TEST=test
    56       ;;
    61       ;;
    57     \?)
    62     \?)
    58       usage
    63       usage
    59       ;;
    64       ;;
    60   esac
    65   esac
   141 
   146 
   142 export THIS_IS_ISABELLE_BUILD=true
   147 export THIS_IS_ISABELLE_BUILD=true
   143 
   148 
   144 for L in $LOGICS
   149 for L in $LOGICS
   145 do
   150 do
   146   ( cd $ISABELLE_HOME/src/$L; $ISATOOL make )
   151   ( cd $ISABELLE_HOME/src/$L; $ISATOOL make $TEST )
   147 done
   152 done
   148 
   153 
   149 echo
   154 echo
   150 echo -n "Finished at "; date
   155 echo -n "Finished at "; date
   151 echo
   156 echo