|
25851
|
1 |
#!/bin/bash
|
|
|
2 |
# $Id$
|
|
|
3 |
|
|
|
4 |
JEDIT_HOME="$HOME/lib/jedit/current"
|
|
|
5 |
PLUGINS="$HOME/.jedit/jars"
|
|
|
6 |
|
|
|
7 |
|
|
|
8 |
rm -rf build/ && mkdir -p build
|
|
|
9 |
( cd build; jar xf ../../../classes/isabelle.jar )
|
|
|
10 |
|
|
|
11 |
scalac -d build \
|
|
|
12 |
-cp $JEDIT_HOME/jedit.jar:$PLUGINS/SideKick.jar:$PLUGINS/ErrorList.jar:$PLUGINS/Console.jar \
|
|
|
13 |
isabelle/IsabellePlugin.scala \
|
|
|
14 |
isabelle/IsabelleDock.scala \
|
|
|
15 |
isabelle/IsabelleParser.scala \
|
|
25853
|
16 |
&& (
|
|
25851
|
17 |
cp *.xml *.props build/
|
|
|
18 |
cd build
|
|
|
19 |
jar cf ../../isabelle.jar isabelle/*.class *.xml *.props
|
|
25853
|
20 |
)
|
|
25851
|
21 |
|
|
25853
|
22 |
rm -rf build/
|
|
|
23 |
|