lib/Tools/findlogics
author wenzelm
Mon Dec 09 09:03:03 1996 +0100 (1996-12-09)
changeset 2333 f1159f38ba4f
child 2591 ae16f162f973
permissions -rwxr-xr-x
findlogics: collect heap names from ISABELLE_PATH;
     1 #!/bin/bash -norc
     2 #
     3 # $Id$
     4 #
     5 # DESCRIPTION: collect heap names from ISABELLE_PATH
     6 
     7 
     8 PRG=$(basename $0)
     9 
    10 function usage()
    11 {
    12   echo
    13   echo "Usage: $PRG"
    14   echo
    15   echo "  Collect heap file names from ISABELLE_PATH."
    16   echo
    17   exit 1
    18 }
    19 
    20 
    21 ## main
    22 
    23 [ $# -ne 0 ] && usage
    24 
    25 
    26 . $ISABELLE_HOME/lib/scripts/getplatform
    27 
    28 LOGICS=""
    29 
    30 for DIR in $(echo $ISABELLE_PATH | tr : " ")
    31 do
    32   for FILE in $DIR/$ML_SYSTEM-$PLATFORM/*
    33   do
    34     if [ -f "$FILE" ]; then
    35       NAME=$(basename "$FILE")
    36       LOGICS="$LOGICS $NAME"
    37     fi
    38   done
    39 done
    40 
    41 echo $({ for L in $LOGICS; do echo $L; done } | sort | uniq)