Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/build-jars
changeset 50650 8922afc54b3d
parent 50365 82f5aea343e7
child 50652 ead5714cc480 
--- a/src/Pure/build-jars	Mon Dec 31 13:20:23 2012 +0100
+++ b/src/Pure/build-jars	Mon Dec 31 13:34:47 2012 +0100
@@ -183,7 +183,8 @@
   JFXRT="$ISABELLE_JDK_HOME/jre/lib/jfxrt.jar"
 
   if [ "$TEST_PIDE" = true ]; then
-    isabelle_scala scalac $SCALAC_OPTIONS "${PIDE_SOURCES[@]}" || \
+    isabelle_scala scalac $SCALAC_OPTIONS \
+        -classpath "$(jvmpath "$JFXRT:classes")" "${PIDE_SOURCES[@]}" || \
       fail "Failed to compile PIDE sources"
     isabelle_scala scalac $SCALAC_OPTIONS \
         -classpath "$(jvmpath "$JFXRT:classes")" "${PURE_SOURCES[@]}" || \
isabelle