bin/isabelle
author wenzelm
Sun Jun 10 21:06:59 2007 +0200 (2007-06-10)
changeset 23301 4c7e6d295980
parent 15967 f9163c6f69d6
child 28504 7ad7d7d6df47
permissions -rwxr-xr-x
disabled theories MIR and ReflectedFerrack for smlnj (temporarily);
     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" "$@"