CC   := gcc
CXX  := g++
LD   := g++
CP   := cp

PROG := abc

MODULES := \
        $(wildcard src/ext) src/misc/ext \
	src/base/abc src/base/abci src/base/cmd \
	src/base/io src/base/main src/base/ver src/base/test \
	src/bdd/cudd src/bdd/dsd src/bdd/epd src/bdd/mtr \
	src/bdd/parse src/bdd/reo src/bdd/cas \
	src/map/fpga src/map/mapper src/map/mio src/map/super \
	src/map/if src/map/amap src/map/cov \
	src/misc/extra src/misc/mvc src/misc/st src/misc/util \
	src/misc/nm src/misc/vec src/misc/hash \
	src/misc/bzlib src/misc/zlib \
	src/opt/cut src/opt/dec src/opt/fxu src/opt/rwr src/opt/mfs \
	src/opt/sim src/opt/ret src/opt/res src/opt/lpk \
	src/sat/bsat src/sat/csat src/sat/msat src/sat/fraig \
	src/sat/psat src/sat/pdr \
	src/aig/ivy src/aig/hop src/aig/rwt src/aig/deco \
	src/aig/mem src/aig/dar src/aig/fra src/aig/cnf \
	src/aig/csw src/aig/ioa src/aig/aig src/aig/kit \
	src/aig/bdc src/aig/bar src/aig/ntl src/aig/nwk \
	src/aig/mfx src/aig/tim src/aig/saig src/aig/bbr \
	src/aig/int src/aig/dch src/aig/ssw src/aig/cgt \
	src/aig/cec src/aig/gia src/aig/bbl src/aig/live \
	src/aig/llb \
	src/python 

all: $(PROG)
default: $(PROG)

# Please note that to compile on 32-bit Linux the following optflags are required:
# -DLIN -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 

#OPTFLAGS  := -DNDEBUG -O3 -DLIN
#OPTFLAGS  := -DNDEBUG -O3 -DLIN64
#OPTFLAGS  := -g -O -DLIN -m32
OPTFLAGS  := -g -O -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_NAMESPACE=xxx

CFLAGS   += -Wall -Wno-unused-function $(OPTFLAGS) $(patsubst %, -I%, $(MODULES)) 
CXXFLAGS += $(CFLAGS) 

#LIBS := -m32 -ldl -rdynamic -lreadline -ltermcap
LIBS := -lreadline

SRC  := 
GARBAGE := core core.* *.stackdump ./tags $(PROG)

.PHONY: tags clean docs

include $(patsubst %, %/module.make, $(MODULES))

OBJ := \
	$(patsubst %.cc, %.o, $(filter %.cc, $(SRC))) \
	$(patsubst %.c, %.o,  $(filter %.c, $(SRC)))  \
	$(patsubst %.y, %.o,  $(filter %.y, $(SRC))) 

DEP := $(OBJ:.o=.d)

# implicit rules

%.d: %.c
	./depends.sh $(CC) `dirname $*.c` $(CFLAGS) $*.c > $@

%.d: %.cc
	./depends.sh $(CXX) `dirname $*.cc` $(CXXFLAGS) $(CFLAGS) $*.cc > $@

-include $(DEP)

# Actual targets

depend: $(DEP)

clean: 
	rm -rf $(PROG) lib$(PROG).a $(OBJ) $(GARBAGE) $(OBJ:.o=.d) 

tags:
	ctags -R .

$(PROG): $(OBJ)
	$(LD) -o $@ $^ $(LIBS)

lib$(PROG).a: $(OBJ)
	ar rv $@ $?
	ranlib $@

docs:
	doxygen doxygen.conf