#!/bin/bash # $Id$ rm -rf build/ && mkdir -p build rm -f isabelle.jar javac -d build isabelle/IsabelleProcess.java \ && ( cd build jar cf ../isabelle.jar isabelle/*.class ) rm -rf build/