--- a/src/Pure/build-jars Sun Sep 02 21:07:50 2012 +0200
+++ b/src/Pure/build-jars Sun Sep 02 21:24:33 2012 +0200
@@ -185,11 +185,12 @@
if [ "$TEST_PIDE" = true ]; then
isabelle_scala scalac $SCALAC_OPTIONS "${PIDE_SOURCES[@]}" || \
fail "Failed to compile PIDE sources"
- isabelle_scala scalac $SCALAC_OPTIONS -classpath "$JFXRT:classes" "${PURE_SOURCES[@]}" || \
+ isabelle_scala scalac $SCALAC_OPTIONS \
+ -classpath "$(jvmpath "$JFXRT:classes")" "${PURE_SOURCES[@]}" || \
fail "Failed to compile Pure sources"
else
- isabelle_scala scalac $SCALAC_OPTIONS -classpath "$JFXRT:classes" \
- "${PIDE_SOURCES[@]}" "${PURE_SOURCES[@]}" || \
+ isabelle_scala scalac $SCALAC_OPTIONS \
+ -classpath "$(jvmpath "$JFXRT:classes")" "${PIDE_SOURCES[@]}" "${PURE_SOURCES[@]}" || \
fail "Failed to compile sources"
fi