Isabelle
changeset 44861 329ced2615eb
parent 43540 71aba8ee3b8f
child 50805 69439c9defec
equal deleted inserted replaced
44860:56101fa00193 44861:329ced2615eb
     1 #!/usr/bin/env bash
     1 #!/usr/bin/env bash
     2 #
     2 #
     3 # Author: Makarius
     3 # Author: Makarius
     4 #
     4 #
     5 # Generic Isabelle application wrapper.
     5 # Default Isabelle application wrapper.
     6 
     6 
     7 if [ -L "$0" ]; then
     7 exec "$(dirname "$0")"/bin/isabelle jedit "$@"
     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 
     8 
    12 
       
    13 ## settings
       
    14 
       
    15 ISABELLE_HOME="$(cd "$(dirname "$0")"; pwd -P)"
       
    16 source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2
       
    17 
       
    18 unset ISABELLE_SETTINGS_PRESENT
       
    19 unset ISABELLE_SITE_SETTINGS_PRESENT
       
    20 
       
    21 
       
    22 ## main
       
    23 
       
    24 [ -e "$ISABELLE_HOME/Admin/build" ] && "$ISABELLE_HOME/Admin/build" jars
       
    25 
       
    26 exec "$ISABELLE_TOOL" java \
       
    27   "-Disabelle.home=$(jvmpath "$ISABELLE_HOME")" \
       
    28   isabelle.GUI_Setup "$@"