CC = gcc | |
CFLAGS = -g -O0 -w | |
LFLAGS = -g -O0 | |
EXE = ace | |
ABC_DIR = ../abc_with_bb_support | |
ABC_LIB = libabc.a | |
ABC_LIB_PATH = $(ABC_DIR)/$(ABC_LIB) | |
OBJS = ace.o io_ace.o blif.o cycle.o sim.o bdd.o cube.o depth.o | |
ACE_HEADERS = ace.h io_ace.h blif.h depth.h cube.h bdd.h | |
ABC_HEADERS = -I $(ABC_DIR)/src/base/io \ | |
-I $(ABC_DIR)/src/base/abc \ | |
-I $(ABC_DIR)/src/base/main \ | |
-I $(ABC_DIR)/src/base/cmd \ | |
-I $(ABC_DIR)/src/misc/vec \ | |
-I $(ABC_DIR)/src/misc/util \ | |
-I $(ABC_DIR)/src/misc/st \ | |
-I $(ABC_DIR)/src/misc/extra \ | |
-I $(ABC_DIR)/src/misc/ext \ | |
-I $(ABC_DIR)/src/misc/espresso \ | |
-I $(ABC_DIR)/src/misc/avl \ | |
-I $(ABC_DIR)/src/misc/nm \ | |
-I $(ABC_DIR)/src/aig/aig \ | |
-I $(ABC_DIR)/src/aig/hop \ | |
-I $(ABC_DIR)/src/aig/mem \ | |
-I $(ABC_DIR)/src/aig/tim \ | |
-I $(ABC_DIR)/src/aig/ssw \ | |
-I $(ABC_DIR)/src/aig/fra \ | |
-I $(ABC_DIR)/src/aig/nwk \ | |
-I $(ABC_DIR)/src/aig/ntl \ | |
-I $(ABC_DIR)/src/aig/gia \ | |
-I $(ABC_DIR)/src/aig/dar \ | |
-I $(ABC_DIR)/src/aig/ioa \ | |
-I $(ABC_DIR)/src/bdd/cudd \ | |
-I $(ABC_DIR)/src/bdd/mtr \ | |
-I $(ABC_DIR)/src/bdd/epd \ | |
-I $(ABC_DIR)/src/map/if \ | |
-I $(ABC_DIR)/src/sat/bsat | |
LIBS = -lm -ldl | |
DEFINES = -DLIN | |
$(EXE): $(OBJS) Makefile $(ABC_LIB_PATH) | |
$(CC) $(OBJS) $(CFLAGS) $(ABC_HEADERS) $(ABC_LIB_PATH) $(LIBS) -o $(EXE) | |
clean: | |
rm -f *.o *.exe $(TARGET) $(EXE) | |
%.o: %.c | |
$(CC) -c $< $(CFLAGS) -o $@ $(ABC_HEADERS) $(DEFINES) $(LIBS) |