Admin/build
changeset 27655 cf0c60e821bb
parent 27650 7a4baad05495
child 27904 343696007eca
equal deleted inserted replaced
27654:0f8e2dcabbf9 27655:cf0c60e821bb
   121   pushd lib/classes >/dev/null
   121   pushd lib/classes >/dev/null
   122   ./mk
   122   ./mk
   123   [ -f isabelle.jar ] || fail "Failed to build Isabelle process wrapper!"
   123   [ -f isabelle.jar ] || fail "Failed to build Isabelle process wrapper!"
   124   popd >/dev/null
   124   popd >/dev/null
   125 
   125 
   126   type -p scalac >/dev/null || fail "Scala compiler unavailable"
   126   if [ -d "$HOME/lib/jedit/current" ]; then
   127   pushd lib/jedit/plugin >/dev/null
   127     type -p scalac >/dev/null || fail "Scala compiler unavailable"
   128   ./mk
   128     pushd lib/jedit/plugin >/dev/null
   129   [ -f ../isabelle.jar ] || fail "Failed to build jEdit plugin!"
   129     ./mk
   130   popd >/dev/null
   130     [ -f ../isabelle.jar ] || fail "Failed to build jEdit plugin!"
       
   131     popd >/dev/null
       
   132   else
       
   133     echo "Warning: skipping jedit plugin"
       
   134   fi
   131 }
   135 }
   132 
   136 
   133 
   137 
   134 ## main
   138 ## main
   135 
   139