findlogics: collect heap names from ISABELLE_PATH;
authorwenzelm
Mon Dec 09 09:03:03 1996 +0100 (1996-12-09)
changeset 2333f1159f38ba4f
parent 2332 ae592411c199
child 2334 00db792beb4e
findlogics: collect heap names from ISABELLE_PATH;
lib/Tools/findlogics
     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)