Generic Isabelle application wrapper.
authorwenzelm
Fri Jul 03 00:02:07 2009 +0200 (2009-07-03)
changeset 31919e587a888bab5
parent 31918 60d573a5d061
child 31920 105bd1abff50
Generic Isabelle application wrapper.
Isabelle
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/Isabelle	Fri Jul 03 00:02:07 2009 +0200
     1.3 @@ -0,0 +1,25 @@
     1.4 +#!/usr/bin/env bash
     1.5 +#
     1.6 +# Author: Makarius
     1.7 +#
     1.8 +# Generic Isabelle application wrapper.
     1.9 +
    1.10 +if [ -L "$0" ]; then
    1.11 +  TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
    1.12 +  exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
    1.13 +fi
    1.14 +
    1.15 +
    1.16 +## settings
    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 +
    1.22 +## main
    1.23 +
    1.24 +CLASSPATH="$(jvmpath "$CLASSPATH")"
    1.25 +
    1.26 +exec "$ISABELLE_JAVA" \
    1.27 +  "-Disabelle.home=$ISABELLE_HOME" \
    1.28 +  -jar "$(jvmpath "$ISABELLE_HOME/lib/classes/isabelle-scala.jar")" "$@"