bin/isabelle-interface
author kleing
Mon Jun 21 10:25:57 2004 +0200 (2004-06-21)
changeset 14981 e73f8140af78
parent 11550 915c5de6480f
child 15778 98af3693f6b3
permissions -rwxr-xr-x
Merged in license change from Isabelle2004
     1 #!/usr/bin/env bash
     2 #
     3 # $Id$
     4 # Author: Markus Wenzel, TU Muenchen
     5 #
     6 # Isabelle interface startup script.
     7 
     8 
     9 ## settings
    10 
    11 PRG="$(basename "$0")"
    12 
    13 ISABELLE_HOME="$(dirname "$0")/.."
    14 . "$ISABELLE_HOME/lib/scripts/getsettings" || \
    15   { echo "$PRG probably not called from its original place!"; exit 2; }
    16 
    17 
    18 ## diagnostics
    19 
    20 function fail()
    21 {
    22   echo "$1" >&2
    23   exit 2
    24 }
    25 
    26 
    27 ## main
    28 
    29 case "$ISABELLE_INTERFACE" in
    30   none)
    31     INTERFACE="$ISABELLE"
    32     ;;
    33   */*)
    34     INTERFACE="$ISABELLE_INTERFACE"
    35     ;;
    36   *)
    37     INTERFACE="$ISABELLE_HOME/lib/scripts/isa-$ISABELLE_INTERFACE"
    38     ;;
    39 esac
    40 
    41 [ ! -x "$INTERFACE" ] && fail "Bad Isabelle interface: \"$ISABELLE_INTERFACE\""
    42 
    43 exec "$INTERFACE" "$@"