| author | wenzelm |
| Thu, 12 Sep 2013 20:53:25 +0200 | |
| changeset 53584 | 1f3815703436 |
| parent 53576 | 793a429c63e7 |
| child 58791 | 00916b0dd596 |
| 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 |
|
|
53576
793a429c63e7
maintain classpath in more elementary manner: turn ISABELLE_CLASSPATH into -classpath option, so that all jars are covered by sun.misc.Launcher.AppClassLoader (e.g. relevant for loading add-on resources);
wenzelm
parents:
53346
diff
changeset
|
7 |
declare -a JAVA_ARGS; eval "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 |
|
|
53346
26c795734b3c
provide ISABELLE_JAVA_SYSTEM_OPTIONS via settings;
wenzelm
parents:
48915
diff
changeset
|
12 |
isabelle_jdk java "${JAVA_ARGS[@]}" \
|
|
53576
793a429c63e7
maintain classpath in more elementary manner: turn ISABELLE_CLASSPATH into -classpath option, so that all jars are covered by sun.misc.Launcher.AppClassLoader (e.g. relevant for loading add-on resources);
wenzelm
parents:
53346
diff
changeset
|
13 |
-classpath "$(jvmpath "$ISABELLE_CLASSPATH")" "$@" |
| 41380 | 14 |