replaced rules Always_ConstrainsI/D by equivalences Always_Constrains_pre,
Always_Constrains_post
#!/bin/bash
#
# $Id$
#
# DESCRIPTION: apply make utility to all logics
## global settings
ALL_LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Pure Sequents ZF"
## diagnostics
PRG=$(basename $0)
function usage()
{
echo
echo "Usage: $PRG [ARGS ...]"
echo
echo " Apply isatool make to all logics (passing ARGS)."
echo
exit 1
}
## main
[ "$1" = "-?" ] && usage
SECONDS=0
echo -n "Started at "; date
for L in $ALL_LOGICS
do
( cd $ISABELLE_HOME/src/$L; $ISATOOL make "$@" )
done
echo -n "Finished at "; date
ELAPSED=$($ISABELLE_HOME/lib/scripts/showtime $SECONDS)
echo "$ELAPSED total elapsed time"