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