equal
deleted
inserted
replaced
4 JEDIT_HOME="$HOME/lib/jedit/current" |
4 JEDIT_HOME="$HOME/lib/jedit/current" |
5 PLUGINS="$HOME/.jedit/jars" |
5 PLUGINS="$HOME/.jedit/jars" |
6 |
6 |
7 |
7 |
8 rm -rf build/ && mkdir -p build |
8 rm -rf build/ && mkdir -p build |
9 ( cd build; jar xf ../../../classes/isabelle.jar ) |
|
10 |
|
11 rm -f ../isabelle.jar |
9 rm -f ../isabelle.jar |
12 |
10 |
13 scalac -d build \ |
11 scalac -d build \ |
14 -cp $JEDIT_HOME/jedit.jar:$PLUGINS/SideKick.jar:$PLUGINS/ErrorList.jar:$PLUGINS/Console.jar \ |
12 -cp $JEDIT_HOME/jedit.jar:$PLUGINS/SideKick.jar:$PLUGINS/ErrorList.jar:$PLUGINS/Console.jar:../../classes/Pure.jar \ |
15 isabelle/IsabellePlugin.scala \ |
13 isabelle/IsabellePlugin.scala \ |
16 isabelle/IsabelleDock.scala \ |
14 isabelle/IsabelleDock.scala \ |
17 isabelle/IsabelleParser.scala \ |
15 isabelle/IsabelleParser.scala \ |
18 && ( |
16 && ( |
19 cp *.xml *.props build/ |
17 cp *.xml *.props build/ |