Isabelle
author wenzelm
Tue, 17 Aug 2010 18:04:08 +0200
changeset 38469 5c6c5d63f3c3
parent 34282 549969a7f582
child 40571 fbac01813bff
permissions -rwxr-xr-x
updated for prospective Poly/ML 5.4;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
31919
e587a888bab5 Generic Isabelle application wrapper.
wenzelm
parents:
diff changeset
     1
#!/usr/bin/env bash
e587a888bab5 Generic Isabelle application wrapper.
wenzelm
parents:
diff changeset
     2
#
e587a888bab5 Generic Isabelle application wrapper.
wenzelm
parents:
diff changeset
     3
# Author: Makarius
e587a888bab5 Generic Isabelle application wrapper.
wenzelm
parents:
diff changeset
     4
#
e587a888bab5 Generic Isabelle application wrapper.
wenzelm
parents:
diff changeset
     5
# Generic Isabelle application wrapper.
e587a888bab5 Generic Isabelle application wrapper.
wenzelm
parents:
diff changeset
     6
e587a888bab5 Generic Isabelle application wrapper.
wenzelm
parents:
diff changeset
     7
if [ -L "$0" ]; then
e587a888bab5 Generic Isabelle application wrapper.
wenzelm
parents:
diff changeset
     8
  TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
e587a888bab5 Generic Isabelle application wrapper.
wenzelm
parents:
diff changeset
     9
  exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
e587a888bab5 Generic Isabelle application wrapper.
wenzelm
parents:
diff changeset
    10
fi
e587a888bab5 Generic Isabelle application wrapper.
wenzelm
parents:
diff changeset
    11
e587a888bab5 Generic Isabelle application wrapper.
wenzelm
parents:
diff changeset
    12
e587a888bab5 Generic Isabelle application wrapper.
wenzelm
parents:
diff changeset
    13
## settings
e587a888bab5 Generic Isabelle application wrapper.
wenzelm
parents:
diff changeset
    14
e587a888bab5 Generic Isabelle application wrapper.
wenzelm
parents:
diff changeset
    15
ISABELLE_HOME="$(cd "$(dirname "$0")"; pwd -P)"
e587a888bab5 Generic Isabelle application wrapper.
wenzelm
parents:
diff changeset
    16
source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2
e587a888bab5 Generic Isabelle application wrapper.
wenzelm
parents:
diff changeset
    17
31922
d6f8f3bfe329 allow reloading of settings within JVM process;
wenzelm
parents: 31920
diff changeset
    18
unset ISABELLE_SETTINGS_PRESENT
34282
549969a7f582 simplified build/bootstrap of Isabelle/Scala components -- avoid make;
wenzelm
parents: 31922
diff changeset
    19
unset ISABELLE_SITE_SETTINGS_PRESENT
31922
d6f8f3bfe329 allow reloading of settings within JVM process;
wenzelm
parents: 31920
diff changeset
    20
31919
e587a888bab5 Generic Isabelle application wrapper.
wenzelm
parents:
diff changeset
    21
e587a888bab5 Generic Isabelle application wrapper.
wenzelm
parents:
diff changeset
    22
## main
e587a888bab5 Generic Isabelle application wrapper.
wenzelm
parents:
diff changeset
    23
34282
549969a7f582 simplified build/bootstrap of Isabelle/Scala components -- avoid make;
wenzelm
parents: 31922
diff changeset
    24
[ -e "$ISABELLE_HOME/Admin/build" ] && "$ISABELLE_HOME/Admin/build" jars
549969a7f582 simplified build/bootstrap of Isabelle/Scala components -- avoid make;
wenzelm
parents: 31922
diff changeset
    25
31919
e587a888bab5 Generic Isabelle application wrapper.
wenzelm
parents:
diff changeset
    26
CLASSPATH="$(jvmpath "$CLASSPATH")"
e587a888bab5 Generic Isabelle application wrapper.
wenzelm
parents:
diff changeset
    27
exec "$ISABELLE_JAVA" \
31920
105bd1abff50 isabelle.home: native jvmpath;
wenzelm
parents: 31919
diff changeset
    28
  "-Disabelle.home=$(jvmpath "$ISABELLE_HOME")" \
31919
e587a888bab5 Generic Isabelle application wrapper.
wenzelm
parents:
diff changeset
    29
  -jar "$(jvmpath "$ISABELLE_HOME/lib/classes/isabelle-scala.jar")" "$@"