lib/jedit/plugin/mk

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/jedit/plugin/mk	Sun Jan 06 16:57:25 2008 +0100
@@ -0,0 +1,23 @@
+#!/bin/bash
+# $Id$
+
+set -x
+
+JEDIT_HOME="$HOME/lib/jedit/current"
+PLUGINS="$HOME/.jedit/jars"
+
+
+rm -rf build/ && mkdir -p build
+( cd build; jar xf ../../../classes/isabelle.jar )
+
+scalac -d build \
+  -cp $JEDIT_HOME/jedit.jar:$PLUGINS/SideKick.jar:$PLUGINS/ErrorList.jar:$PLUGINS/Console.jar \
+  isabelle/IsabellePlugin.scala \
+  isabelle/IsabelleDock.scala \
+  isabelle/IsabelleParser.scala \
+&& {
+  cp *.xml *.props build/
+  cd build
+  jar cf ../../isabelle.jar isabelle/*.class *.xml *.props
+}
+