author | wenzelm |
Tue, 04 Sep 2018 14:40:31 +0200 | |
changeset 68903 | 58525b08eed1 |
parent 67490 | 982f0bf34804 |
child 69126 | e1b4b14ded58 |
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 |
|
66906 | 7 |
eval "declare -a JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)" |
53346
26c795734b3c
provide ISABELLE_JAVA_SYSTEM_OPTIONS via settings;
wenzelm
parents:
48915
diff
changeset
|
8 |
|
53584
1f3815703436
absorb final CLASSPATH as well, such that tools might provide that by elementary means, without the "classpath" shell function (e.g. kodkodi/nitpick);
wenzelm
parents:
53576
diff
changeset
|
9 |
[ -n "$CLASSPATH" ] && classpath "$CLASSPATH" |
1f3815703436
absorb final CLASSPATH as well, such that tools might provide that by elementary means, without the "classpath" shell function (e.g. kodkodi/nitpick);
wenzelm
parents:
53576
diff
changeset
|
10 |
unset CLASSPATH |
1f3815703436
absorb final CLASSPATH as well, such that tools might provide that by elementary means, without the "classpath" shell function (e.g. kodkodi/nitpick);
wenzelm
parents:
53576
diff
changeset
|
11 |
|
58791 | 12 |
isabelle_java java "${JAVA_ARGS[@]}" \ |
67490
982f0bf34804
more robust java.ext.dirs: avoid picking up accidental jars from system directories;
wenzelm
parents:
66906
diff
changeset
|
13 |
"-Djava.ext.dirs=$(platform_path "$ISABELLE_JDK_HOME/jre/lib/ext")" \ |
61294 | 14 |
-classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@" |