Attachment #456522 for bug #602958

Lines 10-14 declare -a JAVA_ARGS; eval "JAVA_ARGS=($ Link Here

(-)Isabelle2016/lib/Tools/java (-1 / +1 lines)
10	unset CLASSPATH	10	unset CLASSPATH
11		11
12	isabelle_java java "${JAVA_ARGS[@]}" \	12	isabelle_java java "${JAVA_ARGS[@]}" \
13	-classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@"	13	-classpath "$(platform_path "$ISABELLE_CLASSPATH:$(java-config -p scala-2.11)")" "$@"
14		14

Lines 14-17 do Link Here

(-)Isabelle2016/lib/Tools/scala (-1 / +1 lines)
14	done	14	done
15		15
16	isabelle_scala scala "${SCALA_ARGS[@]}" \	16	isabelle_scala scala "${SCALA_ARGS[@]}" \
17	-classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@"	17	-classpath "$(platform_path "$ISABELLE_CLASSPATH:$(java-config -p scala-2.11)")" "$@"

Lines 7-11 Link Here

(-)Isabelle2016/lib/Tools/scalac (-1 / +1 lines)
7	isabelle_admin_build jars \|\| exit $?	7	isabelle_admin_build jars \|\| exit $?
8		8
9	isabelle_scala scalac -Dfile.encoding=UTF-8 \	9	isabelle_scala scalac -Dfile.encoding=UTF-8 \
10	-classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@"	10	-classpath "$(platform_path "$ISABELLE_CLASSPATH:$(java-config -p scala-2.11)")" "$@"
11		11

Return to bug 602958