lib/Tools/findlogics
author wenzelm
Thu Feb 06 18:31:27 1997 +0100 (1997-02-06)
changeset 2591 ae16f162f973
parent 2333 f1159f38ba4f
child 2936 bd33e7aae062
permissions -rwxr-xr-x
removed getplatform;
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
LOGICS=""
wenzelm@2333
    27
wenzelm@2333
    28
for DIR in $(echo $ISABELLE_PATH | tr : " ")
wenzelm@2333
    29
do
wenzelm@2333
    30
  for FILE in $DIR/$ML_SYSTEM-$PLATFORM/*
wenzelm@2333
    31
  do
wenzelm@2333
    32
    if [ -f "$FILE" ]; then
wenzelm@2333
    33
      NAME=$(basename "$FILE")
wenzelm@2333
    34
      LOGICS="$LOGICS $NAME"
wenzelm@2333
    35
    fi
wenzelm@2333
    36
  done
wenzelm@2333
    37
done
wenzelm@2333
    38
wenzelm@2333
    39
echo $({ for L in $LOGICS; do echo $L; done } | sort | uniq)