# HG changeset patch
# User wenzelm
# Date 1199702420 -3600
# Node ID 9bc18bf8be2d83dbb523b7e7192b9fcdb1403f72
# Parent  6704045112a85fe08bd3395cce336bcb6e8d4179
isabelle.jars: temporarily disabled, until isatest gets up-to-date java;

diff -r 6704045112a8 -r 9bc18bf8be2d Admin/makedist
--- 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