# HG changeset patch
# User wenzelm
# Date 1219526656 -7200
# Node ID 9fb6cfaa5da52f7807127aae9130281f56eed936
# Parent  74d32406010f1304787ee54742db7f496b8107bb
jars: removed obsolete Java process wrapper (cf. new Pure.jar);

diff -r 74d32406010f -r 9fb6cfaa5da5 Admin/build
--- a/Admin/build	Sat Aug 23 23:21:50 2008 +0200
+++ b/Admin/build	Sat Aug 23 23:24:16 2008 +0200
@@ -109,17 +109,13 @@
   echo "### Building JVM components ..."
   echo "###"
 
+  type -p scalac >/dev/null || fail "Scala compiler unavailable"
+
   pushd "$ISABELLE_SRC/Pure" >/dev/null
   "$ISATOOL" make jar || fail "Failed to build Pure.jar!"
   popd >/dev/null
 
-  pushd "$ISABELLE_LIB/classes" >/dev/null
-  ./mk
-  [ -f isabelle.jar ] || fail "Failed to build Isabelle process wrapper!"
-  popd >/dev/null
-
   if [ -d "$HOME/lib/jedit/current" ]; then
-    type -p scalac >/dev/null || fail "Scala compiler unavailable"
     pushd "$ISABELLE_LIB/jedit/plugin" >/dev/null
     ./mk
     [ -f ../isabelle.jar ] || fail "Failed to build jEdit plugin!"