# HG changeset patch # User wenzelm # Date 1199016933 -3600 # Node ID 1ff2dd0a674094f09014d08ee813cd410dcab352 # Parent 3f86e9dc386073209138e4d013654f85977aedb8 simple make script; diff -r 3f86e9dc3860 -r 1ff2dd0a6740 lib/classes/mk --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/lib/classes/mk Sun Dec 30 13:15:33 2007 +0100 @@ -0,0 +1,10 @@ +#!/bin/bash +# $Id$ + +rm -rf build/ && mkdir -p build + +javac -d build isabelle/IsabelleProcess.java \ +&& { + cd build + jar cf ../isabelle.jar * +}