equal
deleted
inserted
replaced
4 # |
4 # |
5 # DESCRIPTION: invoke Java within the Isabelle environment |
5 # DESCRIPTION: invoke Java within the Isabelle environment |
6 |
6 |
7 eval "declare -a JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)" |
7 eval "declare -a JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)" |
8 |
8 |
9 classpath "$ISABELLE_SETUP_CLASSPATH"; unset ISABELLE_SETUP_CLASSPATH |
9 if [ -z "$ISABELLE_SETUP_CLASSPATH_SKIP" -o "$ISABELLE_SETUP_CLASSPATH_SKIP" = "false" ] |
|
10 then |
|
11 classpath "$ISABELLE_SETUP_CLASSPATH"; unset ISABELLE_SETUP_CLASSPATH |
|
12 fi |
|
13 |
10 classpath "$CLASSPATH"; unset CLASSPATH |
14 classpath "$CLASSPATH"; unset CLASSPATH |
11 |
15 |
12 isabelle_java java "${JAVA_ARGS[@]}" \ |
16 isabelle_java java "${JAVA_ARGS[@]}" \ |
13 -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@" |
17 -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@" |