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