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 \ |
8 |
|
9 declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)" |
|
10 isabelle_jdk java "${JAVA_ARGS[@]}" \ |
9 "-Djava.ext.dirs=$(jvmpath "$ISABELLE_JAVA_EXT:$ISABELLE_HOME/lib/classes/ext")" "$@" |
11 "-Djava.ext.dirs=$(jvmpath "$ISABELLE_JAVA_EXT:$ISABELLE_HOME/lib/classes/ext")" "$@" |
10 |
12 |