Admin/Linux/Isabelle
author wenzelm
Thu, 12 Sep 2013 15:37:09 +0200
changeset 53581 c0ad478abf50
parent 53573 3cffcc303fc0
child 54037 ab77ec347220
permissions -rw-r--r--
generate distribution classpath for cold-start application wrappers;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
53483
74a4685a96c8 generate application based on $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents:
diff changeset
     1
#!/usr/bin/env bash
74a4685a96c8 generate application based on $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents:
diff changeset
     2
#
74a4685a96c8 generate application based on $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents:
diff changeset
     3
# Author: Makarius
74a4685a96c8 generate application based on $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents:
diff changeset
     4
#
74a4685a96c8 generate application based on $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents:
diff changeset
     5
# Main Isabelle application wrapper.
74a4685a96c8 generate application based on $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents:
diff changeset
     6
53573
3cffcc303fc0 cold-start of main application even on Linux;
wenzelm
parents: 53483
diff changeset
     7
# dereference executable
53483
74a4685a96c8 generate application based on $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents:
diff changeset
     8
if [ -L "$0" ]; then
74a4685a96c8 generate application based on $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents:
diff changeset
     9
  TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
74a4685a96c8 generate application based on $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents:
diff changeset
    10
  exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
74a4685a96c8 generate application based on $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents:
diff changeset
    11
fi
74a4685a96c8 generate application based on $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents:
diff changeset
    12
74a4685a96c8 generate application based on $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents:
diff changeset
    13
53573
3cffcc303fc0 cold-start of main application even on Linux;
wenzelm
parents: 53483
diff changeset
    14
# minimal Isabelle environment
53483
74a4685a96c8 generate application based on $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents:
diff changeset
    15
74a4685a96c8 generate application based on $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents:
diff changeset
    16
ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; pwd)"
53573
3cffcc303fc0 cold-start of main application even on Linux;
wenzelm
parents: 53483
diff changeset
    17
source "$ISABELLE_HOME/lib/scripts/isabelle-platform"
53483
74a4685a96c8 generate application based on $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents:
diff changeset
    18
74a4685a96c8 generate application based on $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents:
diff changeset
    19
53573
3cffcc303fc0 cold-start of main application even on Linux;
wenzelm
parents: 53483
diff changeset
    20
# main
53483
74a4685a96c8 generate application based on $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents:
diff changeset
    21
53573
3cffcc303fc0 cold-start of main application even on Linux;
wenzelm
parents: 53483
diff changeset
    22
exec "$ISABELLE_HOME/contrib/jdk/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}/bin/java" \
53581
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53573
diff changeset
    23
  "-Disabelle.home=$ISABELLE_HOME" \
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53573
diff changeset
    24
  {JAVA_ARGS} \
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53573
diff changeset
    25
  -classpath "{CLASSPATH}" \
53573
3cffcc303fc0 cold-start of main application even on Linux;
wenzelm
parents: 53483
diff changeset
    26
  isabelle.Main "$@"
53483
74a4685a96c8 generate application based on $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents:
diff changeset
    27