blob: 032b18b71f3b142423621f6ca394a77b0379736e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
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)")" "$@"
|