author | wenzelm |
Fri, 19 Dec 1997 12:09:58 +0100 | |
changeset 4456 | 44e57a6d947d |
parent 3957 | 7914990748ad |
child 7277 | bb9502f9154a |
permissions | -rwxr-xr-x |
1 #!/bin/bash
2 #
3 # $Id$
4 #
5 # DESCRIPTION: apply make utility to all logics
7 ## global settings
9 ALL_LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Pure Sequents ZF"
12 ## diagnostics
14 PRG=$(basename $0)
16 function usage()
17 {
18 echo
19 echo "Usage: $PRG [ARGS ...]"
20 echo
21 echo " Apply isatool make to all logics (passing ARGS)."
22 echo
23 exit 1
24 }
27 ## main
29 [ "$1" = "-?" ] && usage
32 SECONDS=0
33 echo -n "Started at "; date
35 for L in $ALL_LOGICS
36 do
37 ( cd $ISABELLE_HOME/src/$L; $ISATOOL make "$@" )
38 done
40 echo -n "Finished at "; date
42 ELAPSED=$($ISABELLE_HOME/lib/scripts/showtime $SECONDS)
43 echo "$ELAPSED total elapsed time"