lib/browser/Makefile
author mengj
Wed, 01 Mar 2006 05:56:53 +0100
changeset 19159 f737ecbad1c4
parent 14545 71b9ef3d047f
child 25437 1170e384764d
permissions -rw-r--r--
A new file that sets up rules set used by ATPs. Rules are added to and removed from the set using "atp" attribute.

# $Id$

DST=classes

all: GraphBrowser.jar

GraphBrowser.jar: GraphBrowser/*.java awtUtilities/*.java
	mkdir -p $(DST)
	javac -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