lib/Tools/makeall
author wenzelm
Sat Oct 04 16:05:09 2008 +0200 (2008-10-04 ago)
changeset 28500 4b79e5d3d0aa
parent 18321 3414557c2dda
child 28504 7ad7d7d6df47
permissions -rwxr-xr-x
replaced ISATOOL by ISABELLE_TOOL;
     1 #!/usr/bin/env bash
     2 #
     3 # $Id$
     4 # Author: Markus Wenzel, TU Muenchen
     5 #
     6 # DESCRIPTION: apply make utility to all logics
     7 
     8 ## global settings
     9 
    10 ALL_LOGICS="Pure FOL HOL ZF CCL CTT Cube FOLP HOLCF LCF Sequents"
    11 
    12 
    13 ## diagnostics
    14 
    15 PRG="$(basename "$0")"
    16 
    17 function usage()
    18 {
    19   echo
    20   echo "Usage: $PRG [ARGS ...]"
    21   echo
    22   echo "  Apply isatool make to all logics (passing ARGS)."
    23   echo
    24   exit 1
    25 }
    26 
    27 function fail()
    28 {
    29   echo "$1" >&2
    30   exit 2
    31 }
    32 
    33 ## main
    34 
    35 [ "$1" = "-?" ] && usage
    36 
    37 FAIL=""
    38 
    39 echo "Started at $(date) ($ML_IDENTIFIER on $(hostname))"
    40 . "$ISABELLE_HOME/lib/scripts/timestart.bash"
    41 
    42 for L in $ALL_LOGICS
    43 do
    44   ( cd "$ISABELLE_HOME/src/$L"; "$ISABELLE_TOOL" make "$@" ) || FAIL="$FAIL$L "
    45 done
    46 
    47 echo -n "Finished at "; date
    48 
    49 . "$ISABELLE_HOME/lib/scripts/timestop.bash"
    50 echo "$TIMES_REPORT"
    51 
    52 [ "$FAIL" = "" ] || fail "Logics ${FAIL}FAILED!"