bin/isabelle
changeset 15967 f9163c6f69d6
parent 15864 cc1b4a289321
child 28504 7ad7d7d6df47
equal deleted inserted replaced
15966:73cf5ef8ed20 15967:f9163c6f69d6
     5 #
     5 #
     6 # Smart selection of isabelle-process versus isabelle-interface.
     6 # Smart selection of isabelle-process versus isabelle-interface.
     7 
     7 
     8 if [ -L "$0" ]; then
     8 if [ -L "$0" ]; then
     9   TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
     9   TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
    10   exec "$(cd "$(dirname "$0")"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
    10   exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
    11 fi
    11 fi
    12 
    12 
    13 THIS=$(cd "$(dirname "$0")"; pwd)
    13 THIS=$(cd "$(dirname "$0")"; pwd -P)
    14 NAME="$(basename "$0")"
    14 NAME="$(basename "$0")"
    15 
    15 
    16 case "$NAME" in
    16 case "$NAME" in
    17   I*)
    17   I*)
    18     PRG=isabelle-interface
    18     PRG=isabelle-interface