--- a/lib/classes/mk Thu Jul 17 16:17:05 2008 +0200
+++ b/lib/classes/mk Thu Jul 17 16:19:06 2008 +0200
@@ -3,6 +3,8 @@
rm -rf build/ && mkdir -p build
+rm -f isabelle.jar
+
javac -d build isabelle/IsabelleProcess.java \
&& (
cd build
@@ -10,4 +12,3 @@
)
rm -rf build/
-
--- a/lib/jedit/plugin/mk Thu Jul 17 16:17:05 2008 +0200
+++ b/lib/jedit/plugin/mk Thu Jul 17 16:19:06 2008 +0200
@@ -8,6 +8,8 @@
rm -rf build/ && mkdir -p build
( cd build; jar xf ../../../classes/isabelle.jar )
+rm -f ../isabelle.jar
+
scalac -d build \
-cp $JEDIT_HOME/jedit.jar:$PLUGINS/SideKick.jar:$PLUGINS/ErrorList.jar:$PLUGINS/Console.jar \
isabelle/IsabellePlugin.scala \
@@ -20,4 +22,3 @@
)
rm -rf build/
-