1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/lib/Tools/findlogics Mon Dec 09 09:03:03 1996 +0100
1.3 @@ -0,0 +1,41 @@
1.4 +#!/bin/bash -norc
1.5 +#
1.6 +# $Id$
1.7 +#
1.8 +# DESCRIPTION: collect heap names from ISABELLE_PATH
1.9 +
1.10 +
1.11 +PRG=$(basename $0)
1.12 +
1.13 +function usage()
1.14 +{
1.15 + echo
1.16 + echo "Usage: $PRG"
1.17 + echo
1.18 + echo " Collect heap file names from ISABELLE_PATH."
1.19 + echo
1.20 + exit 1
1.21 +}
1.22 +
1.23 +
1.24 +## main
1.25 +
1.26 +[ $# -ne 0 ] && usage
1.27 +
1.28 +
1.29 +. $ISABELLE_HOME/lib/scripts/getplatform
1.30 +
1.31 +LOGICS=""
1.32 +
1.33 +for DIR in $(echo $ISABELLE_PATH | tr : " ")
1.34 +do
1.35 + for FILE in $DIR/$ML_SYSTEM-$PLATFORM/*
1.36 + do
1.37 + if [ -f "$FILE" ]; then
1.38 + NAME=$(basename "$FILE")
1.39 + LOGICS="$LOGICS $NAME"
1.40 + fi
1.41 + done
1.42 +done
1.43 +
1.44 +echo $({ for L in $LOGICS; do echo $L; done } | sort | uniq)