| 123456789101112131415161718192021222324252627282930313233 |
- Index: Isabelle2016/lib/Tools/java
- ===================================================================
- --- Isabelle2016.orig/lib/Tools/java
- +++ Isabelle2016/lib/Tools/java
- @@ -10,5 +10,5 @@ declare -a JAVA_ARGS; eval "JAVA_ARGS=($
- unset CLASSPATH
-
- isabelle_java java "${JAVA_ARGS[@]}" \
- - -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@"
- + -classpath "$(platform_path "$ISABELLE_CLASSPATH:$(java-config -p scala-2.11)")" "$@"
-
- Index: Isabelle2016/lib/Tools/scala
- ===================================================================
- --- Isabelle2016.orig/lib/Tools/scala
- +++ Isabelle2016/lib/Tools/scala
- @@ -14,4 +14,4 @@ do
- done
-
- isabelle_scala scala "${SCALA_ARGS[@]}" \
- - -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@"
- + -classpath "$(platform_path "$ISABELLE_CLASSPATH:$(java-config -p scala-2.11)")" "$@"
- Index: Isabelle2016/lib/Tools/scalac
- ===================================================================
- --- Isabelle2016.orig/lib/Tools/scalac
- +++ Isabelle2016/lib/Tools/scalac
- @@ -7,5 +7,5 @@
- isabelle_admin_build jars || exit $?
-
- isabelle_scala scalac -Dfile.encoding=UTF-8 \
- - -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@"
- + -classpath "$(platform_path "$ISABELLE_CLASSPATH:$(java-config -p scala-2.11)")" "$@"
-
|
