# ==============================================================
# Makefile for BDD source
# ==============================================================

# --- full object list
OBJ = bddio.o bddop.o cache.o cppext.o fdd.o kernel.o pairs.o reorder.o
CFILES = bddio.c bddop.c kernel.c pairs.c reorder.c
CCFILES = cppext.cc
HFILES = bdd.h


# --------------------------------------------------------------
# Code generation
# --------------------------------------------------------------

.SUFFIXES: .cc .c

.cc.o:
	$(CPP) $(CFLAGS) $(DFLAGS) -c $<

.c.o:
	$(CC) $(CFLAGS) $(DFLAGS) -c $<


# --------------------------------------------------------------
# The primary targets.
# --------------------------------------------------------------

libbdd.a:	$(OBJ)
	ar -r libbdd.a $(OBJ)
	ranlib libbdd.a

clean:
	rm -f lib$(TARGET).a
	rm -f *.o core *~ scrap*

depend:
	gcc -MM $(CFLAGS) $(DFLAGS) $(CFILES) > depend.inf
	g++ -MM $(CFLAGS) $(DFLAGS) $(CCFILES) >> depend.inf

###
include depend.inf
