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
|
27632
|
9 |
rm -f ../isabelle.jar
|
|
10 |
|
25851
|
11 |
scalac -d build \
|
27965
|
12 |
-cp $JEDIT_HOME/jedit.jar:$PLUGINS/SideKick.jar:$PLUGINS/ErrorList.jar:$PLUGINS/Console.jar:../../classes/Pure.jar \
|
27987
|
13 |
isabelle_plugin.scala \
|
|
14 |
isabelle_dock.scala \
|
|
15 |
isabelle_parser.scala \
|
25853
|
16 |
&& (
|
25851
|
17 |
cp *.xml *.props build/
|
|
18 |
cd build
|
27985
|
19 |
jar cf ../../isabelle.jar .
|
25853
|
20 |
)
|
25851
|
21 |
|
25853
|
22 |
rm -rf build/
|