bin/isatool
author wenzelm
Sat, 03 Jun 2000 23:57:40 +0200
changeset 9030 bb7622789bf2
parent 7971 023778c8a029
child 9786 270ca580b880
permissions -rwxr-xr-x
'next', '{', '}': comment;

#!/bin/bash
#
# $Id$
#
# Isabelle tool starter -- provides settings environment,
#   and keeps your PATH name space clean.


## settings

PRG=$(basename $0)

ISABELLE_HOME=$(dirname $0)/..
. $ISABELLE_HOME/lib/scripts/getsettings || \
  { echo "$PRG probably not called from its original place!"; exit 2; }


## diagnostics

TOOLDIRS=$(echo $ISABELLE_TOOLS | tr : " ")

function usage()
{
  echo
  echo "Usage: $PRG TOOL [ARGS ...]"
  echo
  echo "  Start Isabelle utility program TOOL with ARGS. Pass \"-?\" to TOOL"
  echo "  for more specific help."
  echo
  echo "  Available tools are:"
  (
    for DIR in $TOOLDIRS
    do
      cd $DIR
      echo
      for T in *
      do
        if [ -f "$T" -a -x "$T" ]; then
          DESCRLINE=$(grep DESCRIPTION: "$T" | sed -e 's/^.*DESCRIPTION: *//')
          echo "    $T - $DESCRLINE"
        fi
      done
    done
  )
  echo
  exit 1
}

function fail()
{
  echo "$1" >&2
  exit 2
}


## args

[ $# -lt 1 -o "$1" = "-?" ] && usage

TOOLNAME="$1"
shift


## main

for DIR in $TOOLDIRS
do
  TOOL=$DIR/$TOOLNAME
  [ -f "$TOOL" -a -x "$TOOL" ] && exec "$TOOL" "$@"
done

fail "Unknown Isabelle tool: $TOOLNAME"