lib/browser/Makefile
author nipkow
Wed, 04 Mar 2009 10:47:20 +0100
changeset 30235 58d147683393
parent 25438 3314983b6edf
child 33686 8e33ca8832b1
permissions -rw-r--r--
Made Option a separate theory and renamed option_map to Option.map

# $Id$

DST=classes

all: GraphBrowser.jar

GraphBrowser.jar: GraphBrowser/*.java awtUtilities/*.java
	mkdir -p $(DST)
	javac -source 1.4 -d $(DST) GraphBrowser/GraphBrowser.java GraphBrowser/Console.java
	jar cf GraphBrowser.jar -C $(DST) . 
	rm -rf $(DST)

clean:
	rm -f GraphBrowser/*.class
	rm -f awtUtilities/*.class
	rm -rf $(DST)
	rm -f GraphBrowser.jar