Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
recovered generic PIDE build;
authorwenzelm
Mon, 31 Dec 2012 13:34:47 +0100
changeset 50650 8922afc54b3d
parent 50649 dec036b63412
child 50651 1fe68f1c3069
recovered generic PIDE build;
src/Pure/System/standard_system.scala file | annotate | diff | comparison | revisions
src/Pure/build-jars file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/standard_system.scala	Mon Dec 31 13:20:23 2012 +0100
+++ b/src/Pure/System/standard_system.scala	Mon Dec 31 13:34:47 2012 +0100
@@ -1,5 +1,4 @@
 /*  Title:      Pure/System/standard_system.scala
-    Module:     PIDE
     Author:     Makarius
 
 Standard system operations, with basic Cygwin/Posix compatibility.
--- 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