simplified default Isabelle application wrapper (NB: build process is already part of isabelle jedit tool);
authorwenzelm
Sat Sep 10 13:41:03 2011 +0200 (2011-09-10)
changeset 44861329ced2615eb
parent 44860 56101fa00193
child 44862 fe711df09fd9
simplified default Isabelle application wrapper (NB: build process is already part of isabelle jedit tool);
Isabelle
     1.1 --- a/Isabelle	Sat Sep 10 10:29:24 2011 +0200
     1.2 +++ b/Isabelle	Sat Sep 10 13:41:03 2011 +0200
     1.3 @@ -2,27 +2,7 @@
     1.4  #
     1.5  # Author: Makarius
     1.6  #
     1.7 -# Generic Isabelle application wrapper.
     1.8 -
     1.9 -if [ -L "$0" ]; then
    1.10 -  TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
    1.11 -  exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
    1.12 -fi
    1.13 -
    1.14 -
    1.15 -## settings
    1.16 +# Default Isabelle application wrapper.
    1.17  
    1.18 -ISABELLE_HOME="$(cd "$(dirname "$0")"; pwd -P)"
    1.19 -source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2
    1.20 -
    1.21 -unset ISABELLE_SETTINGS_PRESENT
    1.22 -unset ISABELLE_SITE_SETTINGS_PRESENT
    1.23 -
    1.24 +exec "$(dirname "$0")"/bin/isabelle jedit "$@"
    1.25  
    1.26 -## main
    1.27 -
    1.28 -[ -e "$ISABELLE_HOME/Admin/build" ] && "$ISABELLE_HOME/Admin/build" jars
    1.29 -
    1.30 -exec "$ISABELLE_TOOL" java \
    1.31 -  "-Disabelle.home=$(jvmpath "$ISABELLE_HOME")" \
    1.32 -  isabelle.GUI_Setup "$@"