2005-07-29 17:01:00 +02:00
|
|
|
|
|
|
|
|
CC := gcc
|
2010-11-01 09:35:04 +01:00
|
|
|
CXX := g++
|
2005-07-29 17:01:00 +02:00
|
|
|
LD := g++
|
|
|
|
|
CP := cp
|
|
|
|
|
|
|
|
|
|
PROG := abc
|
|
|
|
|
|
2008-07-02 17:01:00 +02:00
|
|
|
MODULES := \
|
2010-11-01 10:06:26 +01:00
|
|
|
$(wildcard src/ext) src/misc/ext \
|
2008-07-02 17:01:00 +02:00
|
|
|
src/base/abc src/base/abci src/base/cmd \
|
2010-11-01 10:06:26 +01:00
|
|
|
src/base/io src/base/main src/base/ver \
|
2008-01-31 05:01:00 +01:00
|
|
|
src/bdd/cudd src/bdd/dsd src/bdd/epd src/bdd/mtr \
|
|
|
|
|
src/bdd/parse src/bdd/reo src/bdd/cas \
|
2008-07-02 17:01:00 +02:00
|
|
|
src/map/fpga src/map/mapper src/map/mio src/map/super \
|
2009-03-29 17:01:00 +02:00
|
|
|
src/map/if src/map/amap src/map/cov \
|
2008-01-31 05:01:00 +01:00
|
|
|
src/misc/extra src/misc/mvc src/misc/st src/misc/util \
|
2008-07-17 17:01:00 +02:00
|
|
|
src/misc/nm src/misc/vec src/misc/hash \
|
2008-07-02 17:01:00 +02:00
|
|
|
src/misc/bzlib src/misc/zlib \
|
2008-02-02 17:01:00 +01:00
|
|
|
src/opt/cut src/opt/dec src/opt/fxu src/opt/rwr src/opt/mfs \
|
2009-01-18 17:01:00 +01:00
|
|
|
src/opt/sim src/opt/ret src/opt/res src/opt/lpk \
|
2008-01-31 05:01:00 +01:00
|
|
|
src/sat/bsat src/sat/csat src/sat/msat src/sat/fraig \
|
2011-01-13 21:38:59 +01:00
|
|
|
src/sat/psat src/sat/pdr \
|
2008-01-31 05:01:00 +01:00
|
|
|
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 \
|
2008-07-02 17:01:00 +02:00
|
|
|
src/aig/bdc src/aig/bar src/aig/ntl src/aig/nwk \
|
2008-07-25 17:01:00 +02:00
|
|
|
src/aig/mfx src/aig/tim src/aig/saig src/aig/bbr \
|
2009-01-18 17:01:00 +01:00
|
|
|
src/aig/int src/aig/dch src/aig/ssw src/aig/cgt \
|
2010-11-01 09:35:04 +01:00
|
|
|
src/aig/cec src/aig/gia src/aig/bbl src/aig/live \
|
|
|
|
|
src/aig/llb \
|
2010-11-01 10:06:26 +01:00
|
|
|
src/python
|
2005-07-29 17:01:00 +02:00
|
|
|
|
2010-11-01 09:35:04 +01:00
|
|
|
all: $(PROG)
|
2005-09-10 17:01:00 +02:00
|
|
|
default: $(PROG)
|
2005-07-29 17:01:00 +02:00
|
|
|
|
2008-06-10 17:01:00 +02:00
|
|
|
#OPTFLAGS := -DNDEBUG -O3 -DLIN
|
|
|
|
|
#OPTFLAGS := -DNDEBUG -O3 -DLIN64
|
2010-11-01 09:35:04 +01:00
|
|
|
#OPTFLAGS := -g -O -DLIN -m32
|
|
|
|
|
OPTFLAGS := -g -O -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_NAMESPACE=xxx
|
2005-09-02 17:01:00 +02:00
|
|
|
|
|
|
|
|
CFLAGS += -Wall -Wno-unused-function $(OPTFLAGS) $(patsubst %, -I%, $(MODULES))
|
2005-07-29 17:01:00 +02:00
|
|
|
CXXFLAGS += $(CFLAGS)
|
|
|
|
|
|
2010-11-01 09:35:04 +01:00
|
|
|
#LIBS := -m32 -ldl -rdynamic -lreadline -ltermcap
|
|
|
|
|
LIBS := -ldl /usr/lib64/libreadline.a /usr/lib64/libncurses.a -rdynamic
|
|
|
|
|
|
2005-07-29 17:01:00 +02:00
|
|
|
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:
|
2011-02-02 01:19:38 +01:00
|
|
|
rm -rf $(PROG) lib$(PROG).a $(OBJ) $(GARBAGE) $(OBJ:.o=.d)
|
2005-07-29 17:01:00 +02:00
|
|
|
|
|
|
|
|
tags:
|
|
|
|
|
ctags -R .
|
|
|
|
|
|
|
|
|
|
$(PROG): $(OBJ)
|
|
|
|
|
$(LD) -o $@ $^ $(LIBS)
|
|
|
|
|
|
2008-01-31 05:01:00 +01:00
|
|
|
lib$(PROG).a: $(OBJ)
|
|
|
|
|
ar rv $@ $?
|
|
|
|
|
ranlib $@
|
|
|
|
|
|
2005-07-29 17:01:00 +02:00
|
|
|
docs:
|
|
|
|
|
doxygen doxygen.conf
|
|
|
|
|
|
