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 isabelle_setup_classpath |
9 classpath "$ISABELLE_SETUP_CLASSPATH" |
|
10 unset ISABELLE_SETUP_CLASSPATH |
10 |
11 |
11 [ -n "$CLASSPATH" ] && classpath "$CLASSPATH" |
12 [ -n "$CLASSPATH" ] && classpath "$CLASSPATH" |
12 unset CLASSPATH |
13 unset CLASSPATH |
13 |
14 |
14 isabelle_java java "${JAVA_ARGS[@]}" \ |
15 isabelle_java java "${JAVA_ARGS[@]}" \ |