# HG changeset patch
# User wenzelm
# Date 1356957287 -3600
# Node ID 8922afc54b3d6570ca50408d587fc4f8bd2df4f1
# Parent  dec036b634128ec46cd105735a097500db704928
recovered generic PIDE build;

diff -r dec036b63412 -r 8922afc54b3d src/Pure/System/standard_system.scala
--- 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.
diff -r dec036b63412 -r 8922afc54b3d src/Pure/build-jars
--- 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[@]}" || \