Isabelle
author wenzelm
Wed, 02 Sep 2009 16:25:44 +0200
changeset 32491 d5d8bea0cd94
parent 31922 d6f8f3bfe329
child 34282 549969a7f582
permissions -rwxr-xr-x
reorganized Compute theories for HOL-Matrix -- avoiding theory files within main HOL/Tools;
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
d6f8f3bfe329 allow reloading of settings within JVM process;
wenzelm
parents: 31920
diff changeset
    19
31919
e587a888bab5 Generic Isabelle application wrapper.
wenzelm
parents:
diff changeset
    20
e587a888bab5 Generic Isabelle application wrapper.
wenzelm
parents:
diff changeset
    21
## main
e587a888bab5 Generic Isabelle application wrapper.
wenzelm
parents:
diff changeset
    22
e587a888bab5 Generic Isabelle application wrapper.
wenzelm
parents:
diff changeset
    23
CLASSPATH="$(jvmpath "$CLASSPATH")"
e587a888bab5 Generic Isabelle application wrapper.
wenzelm
parents:
diff changeset
    24
e587a888bab5 Generic Isabelle application wrapper.
wenzelm
parents:
diff changeset
    25
exec "$ISABELLE_JAVA" \
31920
105bd1abff50 isabelle.home: native jvmpath;
wenzelm
parents: 31919
diff changeset
    26
  "-Disabelle.home=$(jvmpath "$ISABELLE_HOME")" \
31919
e587a888bab5 Generic Isabelle application wrapper.
wenzelm
parents:
diff changeset
    27
  -jar "$(jvmpath "$ISABELLE_HOME/lib/classes/isabelle-scala.jar")" "$@"