Isabelle
changeset 31919 e587a888bab5
child 31920 105bd1abff50
equal deleted inserted replaced
31918:60d573a5d061 31919:e587a888bab5
       
     1 #!/usr/bin/env bash
       
     2 #
       
     3 # Author: Makarius
       
     4 #
       
     5 # Generic Isabelle application wrapper.
       
     6 
       
     7 if [ -L "$0" ]; then
       
     8   TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
       
     9   exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
       
    10 fi
       
    11 
       
    12 
       
    13 ## settings
       
    14 
       
    15 ISABELLE_HOME="$(cd "$(dirname "$0")"; pwd -P)"
       
    16 source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2
       
    17 
       
    18 
       
    19 ## main
       
    20 
       
    21 CLASSPATH="$(jvmpath "$CLASSPATH")"
       
    22 
       
    23 exec "$ISABELLE_JAVA" \
       
    24   "-Disabelle.home=$ISABELLE_HOME" \
       
    25   -jar "$(jvmpath "$ISABELLE_HOME/lib/classes/isabelle-scala.jar")" "$@"