1# ==============================================================
2# Makefile for the BuDDy package
3# - Do not touch. Edit "config" instead.
4# ==============================================================
5
6include config
7
8# --------------------------------------------------------------
9# The primary targets.
10# --------------------------------------------------------------
11
12buddy:
13	cd src; make
14
15docs:
16	cd doc; make doc
17
18install:
19	cp -f src/libbdd.a $(LIBDIR)/libbdd.a
20	chmod 644 $(LIBDIR)/libbdd.a
21	cp -f src/bdd.h $(INCDIR)/bdd.h
22	chmod 644 $(INCDIR)/bdd.h
23	cp -f src/fdd.h $(INCDIR)/fdd.h
24	chmod 644 $(INCDIR)/fdd.h
25	cp -f src/bvec.h $(INCDIR)/bvec.h
26	chmod 644 $(INCDIR)/bvec.h
27
28uninstall:
29	rm -f $(LIBDIR)/libbdd.a
30	rm -f $(INCDIR)/bdd.h
31	rm -f $(INCDIR)/fdd.h
32	rm -f $(INCDIR)/bvec.h
33
34
35# --------------------------------------------------------------
36# Housekeeping
37# --------------------------------------------------------------
38TARGET = buddy
39VERSION = 20
40RD = $(TARGET)$(VERSION)
41
42clean:
43	cd examples/milner; make clean
44	cd examples/cmilner; make clean
45	cd examples/queen; make clean
46	cd examples/adder; make clean
47	cd examples/fdd; make clean
48	cd examples/calculator; make clean
49	cd examples/solitare; make clean
50	cd examples/money; make clean
51	cd src; make clean
52	cd doc; make clean
53	rm -f *~
54	rm -f $(TARGET).tar.gz
55	rm -f $(RD).tar.gz
56
57examples: dummy
58	cd examples/milner; make
59	cd examples/cmilner; make
60	cd examples/queen; make
61	cd examples/adder; make
62	cd examples/fdd; make
63	cd examples/calculator; make
64	cd examples/solitare; make
65	cd examples/money; make
66
67dummy:
68
69backup:	clean
70	tar -cvf $(TARGET).tar *
71	gzip $(TARGET).tar
72
73rel:	clean docs
74	cd src; make depend
75	mkdir $(RD)
76	mkdir $(RD)/src
77	mkdir $(RD)/doc
78	mkdir $(RD)/examples
79	cp config makefile README CHANGES $(RD)
80	./copysource $(RD)/src
81	cp src/depend.inf src/makefile $(RD)/src
82	cp doc/buddy.ps $(RD)/doc
83	cp doc/bddnotes.ps $(RD)/doc
84	cp doc/tech.txt $(RD)/doc
85	echo "clean:" > $(RD)/doc/makefile
86	mkdir $(RD)/examples/milner
87	cp examples/milner/* $(RD)/examples/milner
88	mkdir $(RD)/examples/cmilner
89	cp examples/cmilner/* $(RD)/examples/cmilner
90	mkdir $(RD)/examples/adder
91	cp examples/adder/* $(RD)/examples/adder
92	mkdir $(RD)/examples/queen
93	cp examples/queen/* $(RD)/examples/queen
94	mkdir $(RD)/examples/fdd
95	cp examples/fdd/* $(RD)/examples/fdd
96	mkdir $(RD)/examples/calculator
97	mkdir $(RD)/examples/calculator/examples
98	cp -R examples/calculator/* $(RD)/examples/calculator
99	mkdir $(RD)/examples/solitare
100	cp examples/solitare/* $(RD)/examples/solitare
101	mkdir $(RD)/examples/money
102	cp examples/money/* $(RD)/examples/money
103	tar -cvf $(TARGET)$(VERSION).tar $(RD)/*
104	gzip $(TARGET)$(VERSION).tar
105	rm -fr $(RD)
106	@cat RELEASE
107
108
109
110