# HG changeset patch
# User wenzelm
# Date 1199639374 -3600
# Node ID 890c51553b33fcd06d0d8ae19aedd3ccd565f826
# Parent  3aa0d86b4398e47fd288cfb8e48219ef975ee10f
build Isabelle process wrapper;
build jEdit plugin, if Scala is available;

diff -r 3aa0d86b4398 -r 890c51553b33 Admin/makedist
--- a/Admin/makedist	Sun Jan 06 18:04:09 2008 +0100
+++ b/Admin/makedist	Sun Jan 06 18:09:34 2008 +0100
@@ -178,7 +178,18 @@
 mv Distribution/* .
 rmdir Distribution
 
-( cd lib/browser; make; ) || fail "Graph browser build failed!"
+( 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
 
 cp doc/isabelle*.eps lib/logo