1.1 --- a/Admin/build	Sat Aug 23 23:21:50 2008 +0200
     1.2 +++ b/Admin/build	Sat Aug 23 23:24:16 2008 +0200
     1.3 @@ -109,17 +109,13 @@
     1.4    echo "### Building JVM components ..."
     1.5    echo "###"
     1.6  
     1.7 +  type -p scalac >/dev/null || fail "Scala compiler unavailable"
     1.8 +
     1.9    pushd "$ISABELLE_SRC/Pure" >/dev/null
    1.10    "$ISATOOL" make jar || fail "Failed to build Pure.jar!"
    1.11    popd >/dev/null
    1.12  
    1.13 -  pushd "$ISABELLE_LIB/classes" >/dev/null
    1.14 -  ./mk
    1.15 -  [ -f isabelle.jar ] || fail "Failed to build Isabelle process wrapper!"
    1.16 -  popd >/dev/null
    1.17 -
    1.18    if [ -d "$HOME/lib/jedit/current" ]; then
    1.19 -    type -p scalac >/dev/null || fail "Scala compiler unavailable"
    1.20      pushd "$ISABELLE_LIB/jedit/plugin" >/dev/null
    1.21      ./mk
    1.22      [ -f ../isabelle.jar ] || fail "Failed to build jEdit plugin!"