bin/isabelle
author gagern
Wed Apr 20 19:00:30 2005 +0200 (2005-04-20)
changeset 15784 3a214de33d53
parent 15778 98af3693f6b3
child 15843 d5bd4a18ce70
permissions -rwxr-xr-x
removed redundant readlink call
     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 THIS="$0"
     9 while [ -L "$THIS" ]; do
    10     THIS="$(dirname "$THIS")/$(LC_ALL=C ls -l "$THIS" | sed 's/.* -> //')"
    11 done
    12 THIS="$(cd "$(dirname "$THIS")"; pwd)"
    13 NAME="$(basename "$0")"
    14 
    15 case "$NAME" in
    16   I*)
    17     PRG=isabelle-interface
    18     ;;
    19   i*)
    20     PRG=isabelle-process
    21     ;;
    22 esac
    23 
    24 exec "$THIS/$PRG" "$@"