[go: up one dir, main page]
Menu ▾ ▴

[628da0]: / Makefile  Maximize  Restore  History

Download this file

70 lines (53 with data), 2.2 kB 

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
#if you have the java API on your hard disk, you should use a URL such as

#the following

#export JAVA2_SDK_DOC_URL=file:///usr/doc/java/sdk/docs/api/

export JAVA2_SDK_DOC_URL=http://java.sun.com/j2se/1.4/docs/api/



export CLASSPATH:=$(shell echo "`pwd`/..:$CLASSPATH")



.PHONY: html-private html-public doc all TautologyGenerator TextModeProver \

        clean jar code



DOCSUBDIRS=html doc

CODESUBDIRS=core logic ui 

SUBDIRS=$(CODESUBDIRS) $(DOCSUBDIRS)



all: clean html-public jar manual



code:

	for d in $(CODESUBDIRS) ; do $(MAKE) -C $$d DEBUG='$$(OPTIMIZE)' || exit 1 ; done



jar: code

	cd .. && cd domino && test -f mainClass.Domino && cd .. && \

	PROG=TautologyGenerator && \

	jar cmf domino/mainClass.$$PROG domino/$$PROG.jar `find domino -name "*.class"` && \

	PROG=LevelGenerator && \

	jar cmf domino/mainClass.$$PROG domino/$$PROG.jar `find domino -name "*.class"` && \

	PROG=TextModeProver && \

	jar cmf domino/mainClass.$$PROG domino/$$PROG.jar `find domino -name "*.class"` && \

	PROG=Prove && \

	jar cmf domino/mainClass.$$PROG domino/$$PROG.jar `find domino -name "*.class"` && \

	PROG=Domino && \

	jar cmf domino/mainClass.$$PROG domino/$$PROG.jar domino/core/levels.txt domino/core/tiles.tiles domino/doc `find domino -name "*.class"`



check-release-conditions:

	if [ "$${JAVA2_SDK_DOC_URL%%:*}z" != "httpz" ]; then \

	  echo; echo 1>&2 'JAVA2_SDK_DOC_URL must not be local !' ; \

	  exit 1 ;\

	fi



release: check-release-conditions release-clean all manual

	cd .. && cd domino && test -f mainClass.Domino && cd .. && \

	PROG=Domino && \

	jar cmf domino/mainClass.$$PROG domino/$$PROG.jar domino/{LICENSE,Makefile,core,doc,logic,ui,overview.html} domino/mainClass.* domino/html/Makefile



manual:

	$(MAKE) -C doc



doc: html-private



html-private: core/Version.java

	$(MAKE) -C html html-private



html-public: core/Version.java

	$(MAKE) -C html html-public



core/Version.java:

	$(MAKE) -C core Version.java



clean:

	for d in $(SUBDIRS) ; do $(MAKE) -C $$d clean || exit 1 ; done

	rm -f *.class

	rm -f *.jar



clobber: clean

	$(MAKE) -C doc clobber



release-clean:

	for d in $(SUBDIRS) ; do $(MAKE) -C $$d release-clean || exit 1 ; done

	rm -f *.jar .cvsignore *~

	rm -rf CVS