isabelle: lib/browser/Makefile@90c625edaee1 (annotated)

3598 28b6670e415a Makefile for GraphBrowser berghofe parents: diff changeset	1	# $Id$
28b6670e415a Makefile for GraphBrowser berghofe parents: diff changeset	2
14539 90c625edaee1 produce jar instead of single .class files kleing parents: 13971 diff changeset	3	DST=classes
90c625edaee1 produce jar instead of single .class files kleing parents: 13971 diff changeset	4
90c625edaee1 produce jar instead of single .class files kleing parents: 13971 diff changeset	5	all: GraphBrowser.jar
90c625edaee1 produce jar instead of single .class files kleing parents: 13971 diff changeset	6
90c625edaee1 produce jar instead of single .class files kleing parents: 13971 diff changeset	7	GraphBrowser.jar: GraphBrowser/.java awtUtilities/.java
90c625edaee1 produce jar instead of single .class files kleing parents: 13971 diff changeset	8	mkdir -p $(DST)
90c625edaee1 produce jar instead of single .class files kleing parents: 13971 diff changeset	9	javac -d $(DST) GraphBrowser/GraphBrowser.java GraphBrowser/Console.java
90c625edaee1 produce jar instead of single .class files kleing parents: 13971 diff changeset	10	jar -C $(DST) -c -f GraphBrowser.jar .
90c625edaee1 produce jar instead of single .class files kleing parents: 13971 diff changeset	11	rm -rf $(DST)
13971 aa5b6c8c7c4c target clean, compile Console.java kleing parents: 11980 diff changeset	12
aa5b6c8c7c4c target clean, compile Console.java kleing parents: 11980 diff changeset	13	clean:
aa5b6c8c7c4c target clean, compile Console.java kleing parents: 11980 diff changeset	14	rm -f GraphBrowser/*.class
aa5b6c8c7c4c target clean, compile Console.java kleing parents: 11980 diff changeset	15	rm -f awtUtilities/*.class
14539 90c625edaee1 produce jar instead of single .class files kleing parents: 13971 diff changeset	16	rm -rf $(DST)
90c625edaee1 produce jar instead of single .class files kleing parents: 13971 diff changeset	17	rm -f GraphBrowser.jar

author	kleing
	Mon, 12 Apr 2004 23:51:00 +0200
changeset 14539	90c625edaee1
parent 13971	aa5b6c8c7c4c
child 14545	71b9ef3d047f
permissions	-rw-r--r--