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