--- a/Admin/build Fri Jul 18 22:03:20 2008 +0200
+++ b/Admin/build Sat Jul 19 11:05:18 2008 +0200
@@ -123,11 +123,15 @@
[ -f isabelle.jar ] || fail "Failed to build Isabelle process wrapper!"
popd >/dev/null
- type -p scalac >/dev/null || fail "Scala compiler unavailable"
- pushd lib/jedit/plugin >/dev/null
- ./mk
- [ -f ../isabelle.jar ] || fail "Failed to build jEdit plugin!"
- popd >/dev/null
+ if [ -d "$HOME/lib/jedit/current" ]; then
+ type -p scalac >/dev/null || fail "Scala compiler unavailable"
+ pushd lib/jedit/plugin >/dev/null
+ ./mk
+ [ -f ../isabelle.jar ] || fail "Failed to build jEdit plugin!"
+ popd >/dev/null
+ else
+ echo "Warning: skipping jedit plugin"
+ fi
}