CUDD = cudd-2.4.1
DYNAMIC =
FLAGS = 
INCLUDE = -I $(CUDD)/include
LINKFLAGS = -lm
LINKLIBS =  $(CUDD)/cudd/libcudd.a  $(CUDD)/mtr/libmtr.a  $(CUDD)/st/libst.a  $(CUDD)/util/libutil.a  $(CUDD)/epd/libepd.a

default: makecudd example problog

example: Example.o simplecudd.o general.o
	@echo Making Example...
	@echo Copyright T. Mantadelis and Katholieke Universiteit Leuven 2008
	gcc Example.o simplecudd.o general.o $(LINKLIBS) $(LINKFLAGS) -o Example

problog: ProblogBDD.o simplecudd.o general.o
	@echo Making ProblogBDD...
	@echo Copyright T. Mantadelis, A. Kimmig, B. Gutmann and Katholieke Universiteit Leuven 2008
	gcc ProblogBDD.o simplecudd.o general.o $(LINKLIBS) $(LINKFLAGS) -o ProblogBDD

makecudd:
	@(cd $(CUDD); \
	echo Making cudd...; \
	make)

%.o : %.c
	gcc $(FLAGS) $(INCLUDE) $(DYNAMIC) -c $<

clean: cleancudd
	rm -f *.o ProblogBDD Example

cleancudd:
	@(cd $(CUDD); \
	echo Cleaning cudd...; \
	make clean)