Admin/build
changeset 27655 cf0c60e821bb
parent 27650 7a4baad05495
child 27904 343696007eca
     1.1 --- a/Admin/build	Fri Jul 18 22:03:20 2008 +0200
     1.2 +++ b/Admin/build	Sat Jul 19 11:05:18 2008 +0200
     1.3 @@ -123,11 +123,15 @@
     1.4    [ -f isabelle.jar ] || fail "Failed to build Isabelle process wrapper!"
     1.5    popd >/dev/null
     1.6  
     1.7 -  type -p scalac >/dev/null || fail "Scala compiler unavailable"
     1.8 -  pushd lib/jedit/plugin >/dev/null
     1.9 -  ./mk
    1.10 -  [ -f ../isabelle.jar ] || fail "Failed to build jEdit plugin!"
    1.11 -  popd >/dev/null
    1.12 +  if [ -d "$HOME/lib/jedit/current" ]; then
    1.13 +    type -p scalac >/dev/null || fail "Scala compiler unavailable"
    1.14 +    pushd lib/jedit/plugin >/dev/null
    1.15 +    ./mk
    1.16 +    [ -f ../isabelle.jar ] || fail "Failed to build jEdit plugin!"
    1.17 +    popd >/dev/null
    1.18 +  else
    1.19 +    echo "Warning: skipping jedit plugin"
    1.20 +  fi
    1.21  }
    1.22  
    1.23