lib/Tools/makeall
author wenzelm
Thu, 01 Jul 1999 21:28:49 +0200
changeset 6880 ce2b19e4402d
parent 4456 44e57a6d947d
child 7277 bb9502f9154a
permissions -rwxr-xr-x
Isar_examples/KnasterTarski.thy;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
3007
e5efa177ee0c removed -norc;
wenzelm
parents: 2940
diff changeset
     1
#!/bin/bash
2502
dcf928805273 make all Isabelle systems afresh;
wenzelm
parents:
diff changeset
     2
#
dcf928805273 make all Isabelle systems afresh;
wenzelm
parents:
diff changeset
     3
# $Id$
dcf928805273 make all Isabelle systems afresh;
wenzelm
parents:
diff changeset
     4
#
4456
44e57a6d947d new version;
wenzelm
parents: 3957
diff changeset
     5
# DESCRIPTION: apply make utility to all logics
2502
dcf928805273 make all Isabelle systems afresh;
wenzelm
parents:
diff changeset
     6
4456
44e57a6d947d new version;
wenzelm
parents: 3957
diff changeset
     7
## global settings
2502
dcf928805273 make all Isabelle systems afresh;
wenzelm
parents:
diff changeset
     8
4456
44e57a6d947d new version;
wenzelm
parents: 3957
diff changeset
     9
ALL_LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Pure Sequents ZF"
2502
dcf928805273 make all Isabelle systems afresh;
wenzelm
parents:
diff changeset
    10
dcf928805273 make all Isabelle systems afresh;
wenzelm
parents:
diff changeset
    11
4456
44e57a6d947d new version;
wenzelm
parents: 3957
diff changeset
    12
## diagnostics
2502
dcf928805273 make all Isabelle systems afresh;
wenzelm
parents:
diff changeset
    13
4456
44e57a6d947d new version;
wenzelm
parents: 3957
diff changeset
    14
PRG=$(basename $0)
2502
dcf928805273 make all Isabelle systems afresh;
wenzelm
parents:
diff changeset
    15
4456
44e57a6d947d new version;
wenzelm
parents: 3957
diff changeset
    16
function usage()
44e57a6d947d new version;
wenzelm
parents: 3957
diff changeset
    17
{
44e57a6d947d new version;
wenzelm
parents: 3957
diff changeset
    18
  echo
44e57a6d947d new version;
wenzelm
parents: 3957
diff changeset
    19
  echo "Usage: $PRG [ARGS ...]"
44e57a6d947d new version;
wenzelm
parents: 3957
diff changeset
    20
  echo
44e57a6d947d new version;
wenzelm
parents: 3957
diff changeset
    21
  echo "  Apply isatool make to all logics (passing ARGS)."
44e57a6d947d new version;
wenzelm
parents: 3957
diff changeset
    22
  echo
44e57a6d947d new version;
wenzelm
parents: 3957
diff changeset
    23
  exit 1
44e57a6d947d new version;
wenzelm
parents: 3957
diff changeset
    24
}
2502
dcf928805273 make all Isabelle systems afresh;
wenzelm
parents:
diff changeset
    25
dcf928805273 make all Isabelle systems afresh;
wenzelm
parents:
diff changeset
    26
4456
44e57a6d947d new version;
wenzelm
parents: 3957
diff changeset
    27
## main
44e57a6d947d new version;
wenzelm
parents: 3957
diff changeset
    28
44e57a6d947d new version;
wenzelm
parents: 3957
diff changeset
    29
[ "$1" = "-?" ] && usage
2502
dcf928805273 make all Isabelle systems afresh;
wenzelm
parents:
diff changeset
    30
dcf928805273 make all Isabelle systems afresh;
wenzelm
parents:
diff changeset
    31
4456
44e57a6d947d new version;
wenzelm
parents: 3957
diff changeset
    32
SECONDS=0
44e57a6d947d new version;
wenzelm
parents: 3957
diff changeset
    33
echo -n "Started at "; date
2502
dcf928805273 make all Isabelle systems afresh;
wenzelm
parents:
diff changeset
    34
4456
44e57a6d947d new version;
wenzelm
parents: 3957
diff changeset
    35
for L in $ALL_LOGICS
44e57a6d947d new version;
wenzelm
parents: 3957
diff changeset
    36
do
44e57a6d947d new version;
wenzelm
parents: 3957
diff changeset
    37
  ( cd $ISABELLE_HOME/src/$L; $ISATOOL make "$@" )
44e57a6d947d new version;
wenzelm
parents: 3957
diff changeset
    38
done
2502
dcf928805273 make all Isabelle systems afresh;
wenzelm
parents:
diff changeset
    39
4456
44e57a6d947d new version;
wenzelm
parents: 3957
diff changeset
    40
echo -n "Finished at "; date
2502
dcf928805273 make all Isabelle systems afresh;
wenzelm
parents:
diff changeset
    41
4456
44e57a6d947d new version;
wenzelm
parents: 3957
diff changeset
    42
ELAPSED=$($ISABELLE_HOME/lib/scripts/showtime $SECONDS)
44e57a6d947d new version;
wenzelm
parents: 3957
diff changeset
    43
echo "$ELAPSED total elapsed time"