equal
deleted
inserted
replaced
1 #!/bin/bash |
1 #!/bin/bash |
2 # $Id$ |
2 # $Id$ |
3 |
|
4 set -x |
|
5 |
3 |
6 JEDIT_HOME="$HOME/lib/jedit/current" |
4 JEDIT_HOME="$HOME/lib/jedit/current" |
7 PLUGINS="$HOME/.jedit/jars" |
5 PLUGINS="$HOME/.jedit/jars" |
8 |
6 |
9 |
7 |
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 \ |
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/ |
20 cd build |
18 cd build |
21 jar cf ../../isabelle.jar isabelle/*.class *.xml *.props |
19 jar cf ../../isabelle.jar isabelle/*.class *.xml *.props |
22 } |
20 ) |
23 |
21 |
|
22 rm -rf build/ |
|
23 |