bin/isabelle-interface
changeset 11550 915c5de6480f
child 14981 e73f8140af78
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/bin/isabelle-interface	Sat Sep 08 20:00:31 2001 +0200
     1.3 @@ -0,0 +1,44 @@
     1.4 +#!/usr/bin/env bash
     1.5 +#
     1.6 +# $Id$
     1.7 +# Author: Markus Wenzel, TU Muenchen
     1.8 +# License: GPL (GNU GENERAL PUBLIC LICENSE)
     1.9 +#
    1.10 +# Isabelle interface startup script.
    1.11 +
    1.12 +
    1.13 +## settings
    1.14 +
    1.15 +PRG="$(basename "$0")"
    1.16 +
    1.17 +ISABELLE_HOME="$(dirname "$0")/.."
    1.18 +. "$ISABELLE_HOME/lib/scripts/getsettings" || \
    1.19 +  { echo "$PRG probably not called from its original place!"; exit 2; }
    1.20 +
    1.21 +
    1.22 +## diagnostics
    1.23 +
    1.24 +function fail()
    1.25 +{
    1.26 +  echo "$1" >&2
    1.27 +  exit 2
    1.28 +}
    1.29 +
    1.30 +
    1.31 +## main
    1.32 +
    1.33 +case "$ISABELLE_INTERFACE" in
    1.34 +  none)
    1.35 +    INTERFACE="$ISABELLE"
    1.36 +    ;;
    1.37 +  */*)
    1.38 +    INTERFACE="$ISABELLE_INTERFACE"
    1.39 +    ;;
    1.40 +  *)
    1.41 +    INTERFACE="$ISABELLE_HOME/lib/scripts/isa-$ISABELLE_INTERFACE"
    1.42 +    ;;
    1.43 +esac
    1.44 +
    1.45 +[ ! -x "$INTERFACE" ] && fail "Bad Isabelle interface: \"$ISABELLE_INTERFACE\""
    1.46 +
    1.47 +exec "$INTERFACE" "$@"