author | wenzelm |
Sat, 31 Aug 2013 13:34:39 +0200 | |
changeset 53346 | 26c795734b3c |
parent 48915 | 34fac6fb9b03 |
child 53576 | 793a429c63e7 |
permissions | -rwxr-xr-x |
27914 | 1 |
#!/usr/bin/env bash |
2 |
# |
|
3 |
# Author: Makarius |
|
4 |
# |
|
27916 | 5 |
# DESCRIPTION: invoke Java within the Isabelle environment |
27914 | 6 |
|
7 |
CLASSPATH="$(jvmpath "$CLASSPATH")" |
|
53346
26c795734b3c
provide ISABELLE_JAVA_SYSTEM_OPTIONS via settings;
wenzelm
parents:
48915
diff
changeset
|
8 |
|
26c795734b3c
provide ISABELLE_JAVA_SYSTEM_OPTIONS via settings;
wenzelm
parents:
48915
diff
changeset
|
9 |
declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)" |
26c795734b3c
provide ISABELLE_JAVA_SYSTEM_OPTIONS via settings;
wenzelm
parents:
48915
diff
changeset
|
10 |
isabelle_jdk java "${JAVA_ARGS[@]}" \ |
48915
34fac6fb9b03
simplified JVM startup, based on stronger assumptions about the Java version provided as Isabelle component;
wenzelm
parents:
47465
diff
changeset
|
11 |
"-Djava.ext.dirs=$(jvmpath "$ISABELLE_JAVA_EXT:$ISABELLE_HOME/lib/classes/ext")" "$@" |
41380 | 12 |