isabelle: lib/browser/Makefile@406d8e34a3cf (annotated)

3598 28b6670e415a Makefile for GraphBrowser berghofe parents: diff changeset	1
14539 90c625edaee1 produce jar instead of single .class files kleing parents: 13971 diff changeset	2	DST=classes
90c625edaee1 produce jar instead of single .class files kleing parents: 13971 diff changeset	3
90c625edaee1 produce jar instead of single .class files kleing parents: 13971 diff changeset	4	all: GraphBrowser.jar
90c625edaee1 produce jar instead of single .class files kleing parents: 13971 diff changeset	5
90c625edaee1 produce jar instead of single .class files kleing parents: 13971 diff changeset	6	GraphBrowser.jar: GraphBrowser/.java awtUtilities/.java
90c625edaee1 produce jar instead of single .class files kleing parents: 13971 diff changeset	7	mkdir -p $(DST)
25438 3314983b6edf use -source instead of -target; wenzelm parents: 25437 diff changeset	8	javac -source 1.4 -d $(DST) GraphBrowser/GraphBrowser.java GraphBrowser/Console.java
14545 71b9ef3d047f change order of options for jar (fix error on Sun) kleing parents: 14539 diff changeset	9	jar cf GraphBrowser.jar -C $(DST) .
14539 90c625edaee1 produce jar instead of single .class files kleing parents: 13971 diff changeset	10	rm -rf $(DST)
13971 aa5b6c8c7c4c target clean, compile Console.java kleing parents: 11980 diff changeset	11
aa5b6c8c7c4c target clean, compile Console.java kleing parents: 11980 diff changeset	12	clean:
aa5b6c8c7c4c target clean, compile Console.java kleing parents: 11980 diff changeset	13	rm -f GraphBrowser/*.class
aa5b6c8c7c4c target clean, compile Console.java kleing parents: 11980 diff changeset	14	rm -f awtUtilities/*.class
14539 90c625edaee1 produce jar instead of single .class files kleing parents: 13971 diff changeset	15	rm -rf $(DST)
90c625edaee1 produce jar instead of single .class files kleing parents: 13971 diff changeset	16	rm -f GraphBrowser.jar

author	wenzelm
	Fri, 04 Dec 2009 15:30:36 +0100
changeset 33977	406d8e34a3cf
parent 33686	8e33ca8832b1
permissions	-rw-r--r--