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 }