| author | wenzelm |
| Sun, 24 Aug 2008 19:02:22 +0200 | |
| changeset 27987 | c3f7fa72af2a |
| parent 27985 | fb774d10ea4c |
| 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@27987 | 13 |
isabelle_plugin.scala \ |
| wenzelm@27987 | 14 |
isabelle_dock.scala \ |
| wenzelm@27987 | 15 |
isabelle_parser.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/ |