author | wenzelm |
Tue, 20 Apr 2010 11:26:25 +0200 | |
changeset 36212 | ebfa4bb0d50f |
parent 29143 | 72c960b2b83e |
child 36238 | 344377ce2e0a |
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")" |
|
36212
ebfa4bb0d50f
refer to THIS_JAVA dynamically, and treat ISABELLE_JAVA as static default -- relevant for nested JVM invocation within an existing Isabelle enviroment;
wenzelm
parents:
29143
diff
changeset
|
8 |
exec "${THIS_JAVA:-ISABELLE_JAVA}" "$@" |