# HG changeset patch
# User wenzelm
# Date 1346613873 -7200
# Node ID 0f21fae06a402f1ed16537be7c533adbc97fad5d
# Parent  4cb40eb2eac9c15d3ab94ba3c331b8e4d34fb65d
proper classpath on windows;

diff -r 4cb40eb2eac9 -r 0f21fae06a40 src/Pure/build-jars
--- 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