| author | wenzelm |
| Sun, 24 Aug 2008 18:11:20 +0200 | |
| changeset 27985 | fb774d10ea4c |
| parent 27965 | 4557e77d4d3d |
| child 27987 | c3f7fa72af2a |
| permissions | -rwxr-xr-x |
1 #!/bin/bash
2 # $Id$
4 JEDIT_HOME="$HOME/lib/jedit/current"
5 PLUGINS="$HOME/.jedit/jars"
8 rm -rf build/ && mkdir -p build
9 rm -f ../isabelle.jar
11 scalac -d build \
12 -cp $JEDIT_HOME/jedit.jar:$PLUGINS/SideKick.jar:$PLUGINS/ErrorList.jar:$PLUGINS/Console.jar:../../classes/Pure.jar \
13 isabelle/IsabellePlugin.scala \
14 isabelle/IsabelleDock.scala \
15 isabelle/IsabelleParser.scala \
16 && (
17 cp *.xml *.props build/
18 cd build
19 jar cf ../../isabelle.jar .
20 )
22 rm -rf build/