Admin/Linux/Isabelle
changeset 53483 74a4685a96c8
child 53573 3cffcc303fc0
equal deleted inserted replaced
53474:077a2758ceb4 53483:74a4685a96c8
       
     1 #!/usr/bin/env bash
       
     2 #
       
     3 # Author: Makarius
       
     4 #
       
     5 # Main 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 PRG="$(basename "$0")"
       
    16 
       
    17 ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; pwd)"
       
    18 source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2
       
    19 
       
    20 
       
    21 ## main
       
    22 
       
    23 declare -a JAVA_ARGS
       
    24 JAVA_ARGS=({JAVA_ARGS})
       
    25 
       
    26 exec "$ISABELLE_HOME/bin/isabelle" java "${JAVA_ARGS[@]}" \
       
    27   -classpath "$ISABELLE_HOME/src/Tools/jEdit/dist/jedit.jar" isabelle.Main "$@"
       
    28