bin/isabelle
author haftmann
Thu Jan 04 17:17:48 2007 +0100 (2007-01-04)
changeset 21994 dfa5133dbe73
parent 15967 f9163c6f69d6
child 28504 7ad7d7d6df47
permissions -rwxr-xr-x
updated manual
     1 #!/usr/bin/env bash
     2 #
     3 # $Id$
     4 # Author: Markus Wenzel, TU Muenchen
     5 #
     6 # Smart selection of isabelle-process versus isabelle-interface.
     7 
     8 if [ -L "$0" ]; then
     9   TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
    10   exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
    11 fi
    12 
    13 THIS=$(cd "$(dirname "$0")"; pwd -P)
    14 NAME="$(basename "$0")"
    15 
    16 case "$NAME" in
    17   I*)
    18     PRG=isabelle-interface
    19     ;;
    20   i*)
    21     PRG=isabelle-process
    22     ;;
    23 esac
    24 
    25 exec "$THIS/$PRG" "$@"