author | wenzelm |
Sun, 24 Aug 2008 18:11:20 +0200 | |
changeset 27985 | fb774d10ea4c |
parent 27965 | 4557e77d4d3d |
child 27987 | c3f7fa72af2a |
permissions | -rwxr-xr-x |
wenzelm@25851 | 1 |
#!/bin/bash |
wenzelm@25851 | 2 |
# $Id$ |
wenzelm@25851 | 3 |
|
wenzelm@25851 | 4 |
JEDIT_HOME="$HOME/lib/jedit/current" |
wenzelm@25851 | 5 |
PLUGINS="$HOME/.jedit/jars" |
wenzelm@25851 | 6 |
|
wenzelm@25851 | 7 |
|
wenzelm@25851 | 8 |
rm -rf build/ && mkdir -p build |
wenzelm@27632 | 9 |
rm -f ../isabelle.jar |
wenzelm@27632 | 10 |
|
wenzelm@25851 | 11 |
scalac -d build \ |
wenzelm@27965 | 12 |
-cp $JEDIT_HOME/jedit.jar:$PLUGINS/SideKick.jar:$PLUGINS/ErrorList.jar:$PLUGINS/Console.jar:../../classes/Pure.jar \ |
wenzelm@25851 | 13 |
isabelle/IsabellePlugin.scala \ |
wenzelm@25851 | 14 |
isabelle/IsabelleDock.scala \ |
wenzelm@25851 | 15 |
isabelle/IsabelleParser.scala \ |
wenzelm@25853 | 16 |
&& ( |
wenzelm@25851 | 17 |
cp *.xml *.props build/ |
wenzelm@25851 | 18 |
cd build |
wenzelm@27985 | 19 |
jar cf ../../isabelle.jar . |
wenzelm@25853 | 20 |
) |
wenzelm@25851 | 21 |
|
wenzelm@25853 | 22 |
rm -rf build/ |