author | wenzelm |
Sat, 23 Aug 2008 23:07:28 +0200 | |
changeset 27965 | 4557e77d4d3d |
parent 27632 | 93d36ef12f08 |
child 27985 | fb774d10ea4c |
permissions | -rwxr-xr-x |
#!/bin/bash # $Id$ JEDIT_HOME="$HOME/lib/jedit/current" PLUGINS="$HOME/.jedit/jars" rm -rf build/ && mkdir -p build rm -f ../isabelle.jar scalac -d build \ -cp $JEDIT_HOME/jedit.jar:$PLUGINS/SideKick.jar:$PLUGINS/ErrorList.jar:$PLUGINS/Console.jar:../../classes/Pure.jar \ isabelle/IsabellePlugin.scala \ isabelle/IsabelleDock.scala \ isabelle/IsabelleParser.scala \ && ( cp *.xml *.props build/ cd build jar cf ../../isabelle.jar isabelle/*.class *.xml *.props ) rm -rf build/