build
changeset 6256 e17fb80b3ce1
parent 5393 7299e531d481
child 7277 bb9502f9154a
equal deleted inserted replaced
6255:db63752140c7 6256:e17fb80b3ce1
    27   echo "Usage: $PRG [OPTIONS] [LOGICS ...]"
    27   echo "Usage: $PRG [OPTIONS] [LOGICS ...]"
    28   echo
    28   echo
    29   echo "  Options are:"
    29   echo "  Options are:"
    30   echo "    -a           all logics"
    30   echo "    -a           all logics"
    31   echo "    -b           batch mode"
    31   echo "    -b           batch mode"
    32   echo "    -t           run tests"
    32   echo "    -i           make images"
       
    33   echo "    -t           make test"
    33   echo
    34   echo
    34   echo "  Compile the named LOGICS (default $ISABELLE_LOGIC), or all object logics"
    35   echo "  Compile the named LOGICS (default $ISABELLE_LOGIC), or all object logics"
    35   echo "  in the distribution."
    36   echo "  in the distribution."
    36   echo
    37   echo
    37   exit 1
    38   exit 1
    48 
    49 
    49 # options
    50 # options
    50 
    51 
    51 ALL=""
    52 ALL=""
    52 BATCH=""
    53 BATCH=""
       
    54 IMAGES=""
    53 TEST=""
    55 TEST=""
    54 
    56 
    55 while getopts "abt" OPT
    57 while getopts "abit" OPT
    56 do
    58 do
    57   case "$OPT" in
    59   case "$OPT" in
    58     a)
    60     a)
    59       ALL=true
    61       ALL=true
    60       ;;
    62       ;;
    61     b)
    63     b)
    62       BATCH=true
    64       BATCH=true
       
    65       ;;
       
    66     i)
       
    67       IMAGES=images
    63       ;;
    68       ;;
    64     t)
    69     t)
    65       TEST=test
    70       TEST=test
    66       ;;
    71       ;;
    67     \?)
    72     \?)
   153 
   158 
   154 export THIS_IS_ISABELLE_BUILD=true
   159 export THIS_IS_ISABELLE_BUILD=true
   155 
   160 
   156 for L in $MAKE_LOGICS
   161 for L in $MAKE_LOGICS
   157 do
   162 do
   158   ( cd $ISABELLE_HOME/src/$L; $ISATOOL make images $TEST )
   163   ( cd $ISABELLE_HOME/src/$L; $ISATOOL make $IMAGES $TEST )
   159 done
   164 done
   160 
   165 
   161 echo -n "Finished at "; date
   166 echo -n "Finished at "; date
   162 
   167 
   163 ELAPSED=$($ISABELLE_HOME/lib/scripts/showtime $SECONDS)
   168 ELAPSED=$($ISABELLE_HOME/lib/scripts/showtime $SECONDS)