equal
deleted
inserted
replaced
3 # Author: Makarius |
3 # Author: Makarius |
4 # |
4 # |
5 # DESCRIPTION: invoke Java within the Isabelle environment |
5 # DESCRIPTION: invoke Java within the Isabelle environment |
6 |
6 |
7 CLASSPATH="$(jvmpath "$CLASSPATH")" |
7 CLASSPATH="$(jvmpath "$CLASSPATH")" |
|
8 isabelle_jdk java -Dfile.encoding=UTF-8 -server \ |
|
9 "-Djava.ext.dirs=$(jvmpath "$ISABELLE_JAVA_EXT:$ISABELLE_HOME/lib/classes/ext")" "$@" |
8 |
10 |
9 if isabelle_jdk java -server >/dev/null 2>/dev/null; then |
|
10 SERVER="-server" |
|
11 else |
|
12 SERVER="" |
|
13 fi |
|
14 |
|
15 isabelle_jdk java -Dfile.encoding=UTF-8 $SERVER \ |
|
16 "-Djava.ext.dirs=$("$ISABELLE_HOME/src/Tools/JVM/java_ext_dirs")" "$@" |
|
17 |
|