bin/isabelle
changeset 15843 d5bd4a18ce70
parent 15784 3a214de33d53
child 15864 cc1b4a289321
equal deleted inserted replaced
15842:30a4267c6301 15843:d5bd4a18ce70
     3 # $Id$
     3 # $Id$
     4 # Author: Markus Wenzel, TU Muenchen
     4 # Author: Markus Wenzel, TU Muenchen
     5 #
     5 #
     6 # Smart selection of isabelle-process versus isabelle-interface.
     6 # Smart selection of isabelle-process versus isabelle-interface.
     7 
     7 
     8 THIS="$0"
     8 if [ -L "$0" ]; then
     9 while [ -L "$THIS" ]; do
     9   TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
    10     THIS="$(dirname "$THIS")/$(LC_ALL=C ls -l "$THIS" | sed 's/.* -> //')"
    10   exec $(cd "$(dirname "$0")"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET") "$@"
    11 done
    11 fi
    12 THIS="$(cd "$(dirname "$THIS")"; pwd)"
    12 
       
    13 THIS=$(cd "$(dirname "$0")"; pwd)
    13 NAME="$(basename "$0")"
    14 NAME="$(basename "$0")"
    14 
    15 
    15 case "$NAME" in
    16 case "$NAME" in
    16   I*)
    17   I*)
    17     PRG=isabelle-interface
    18     PRG=isabelle-interface