1# ==============================================================
2# Makefile for BDD source
3# - Do not touch
4# ==============================================================
5
6# --- full object list
7OBJ = bddio.o bddop.o bvec.o cache.o fdd.o imatrix.o kernel.o \
8      pairs.o prime.o reorder.o tree.o
9CFILES = bddio.c bddop.c bvec.c cache.c fdd.c imatrix.c kernel.c \
10       pairs.c prime.c reorder.c tree.c
11CCFILES = cppext.cxx
12
13include ../config
14
15# --------------------------------------------------------------
16# Code generation
17# --------------------------------------------------------------
18
19.SUFFIXES: .cxx .c
20
21.cxx.o:
22	$(CPP) $(CFLAGS) $(DFLAGS) -c $<
23
24.c.o:
25	$(CC) $(CFLAGS) $(DFLAGS) -c $<
26
27
28# --------------------------------------------------------------
29# The primary targets.
30# --------------------------------------------------------------
31
32libbdd.a:	$(OBJ) ../config
33	ar r libbdd.a $(OBJ)
34	ranlib libbdd.a
35
36clean:
37	rm -f lib$(TARGET).a
38	rm -f *.o core *~
39#	rm -f libbdd.a
40	rm -f libbdd.a
41	rm -f bddtest
42
43
44depend:
45	gcc -MM $(CFLAGS) $(DFLAGS) $(CFILES) > depend.inf
46	g++ -MM $(CFLAGS) $(DFLAGS) $(CCFILES) >> depend.inf
47
48bddtest: libbdd.a bddtest.cxx ../config
49	$(CPP) $(CFLAGS) $(DFLAGS) bddtest.cxx -o bddtest -L. -lbdd
50###
51include depend.inf
52