bin/isabelle
changeset 15778 98af3693f6b3
parent 14981 e73f8140af78
child 15784 3a214de33d53
equal deleted inserted replaced
15777:311aedc96e71 15778:98af3693f6b3
     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=$(cd "$(dirname "$0")"; pwd)
     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 "$(readlink -f "$THIS")")"; pwd)"
     9 NAME="$(basename "$0")"
    13 NAME="$(basename "$0")"
    10 
    14 
    11 case "$NAME" in
    15 case "$NAME" in
    12   I*)
    16   I*)
    13     PRG=isabelle-interface
    17     PRG=isabelle-interface