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 isabelle/*.class
10
)
11
12
rm -rf build/
13