1
#!/bin/bash
2
# $Id$
3
4
rm -rf build/ && mkdir -p build
5
6
javac -d build isabelle/IsabelleProcess.java \
7
&& {
8
cd build
9
jar cf ../isabelle.jar *
10
}