--- a/Admin/makedist Mon Jan 07 02:24:24 2008 +0100
+++ b/Admin/makedist Mon Jan 07 11:40:20 2008 +0100
@@ -180,16 +180,17 @@
( cd lib/browser; make; ) || fail "Failed to build graph browser!"
-( cd lib/classes; ./mk; )
-[ -f lib/classes/isabelle.jar ] || fail "Failed to build Isabelle process wrapper!"
-
-if type -p scalac >/dev/null
-then
- ( cd lib/jedit/plugin; ./mk; )
- [ -f lib/jedit/isabelle.jar ] || fail "Failed to build jEdit plugin!"
-else
- echo "Warning: Scala unavailable -- skipping jEdit plugin"
-fi
+# FIXME temporarily disabled, until isatest gets up-to-date java
+#( cd lib/classes; ./mk; )
+#[ -f lib/classes/isabelle.jar ] || fail "Failed to build Isabelle process wrapper!"
+#
+#if type -p scalac >/dev/null
+#then
+# ( cd lib/jedit/plugin; ./mk; )
+# [ -f lib/jedit/isabelle.jar ] || fail "Failed to build jEdit plugin!"
+#else
+# echo "Warning: Scala unavailable -- skipping jEdit plugin"
+#fi
cp doc/isabelle*.eps lib/logo