34 lines
524 B
Makefile
34 lines
524 B
Makefile
SRCS = $(shell find . -maxdepth 1 -name "*.c*")
|
|
|
|
OBJS = $(addsuffix .o, $(basename $(SRCS)))
|
|
|
|
EXEC = equal
|
|
|
|
LIBS = -lkissat -LhKis/build
|
|
|
|
CXXFLAGS=-O3 -IhKis
|
|
|
|
$(EXEC): $(OBJS)
|
|
$(CXX) -o $@ $^ $(CXXFLAGS) $(LIBS)
|
|
|
|
%.o: %.cpp
|
|
$(CXX) -c $< -o $@ $(CXXFLAGS) $(LIBS)
|
|
|
|
clean:
|
|
rm -f $(OBJS) $(EXEC)
|
|
|
|
# CFLAGS=-O3
|
|
|
|
|
|
# solver: aiger.o main.o $(LIBS)
|
|
# $(CXX) $^ -o $@
|
|
|
|
# aiger.o: aiger.c aiger.h
|
|
# $(C) $(CFLAGS) -c $< -o $@
|
|
|
|
# main.o: main.cpp aiger.h
|
|
# $(CC) $(CXXFLAGS) -c $< -o $@
|
|
|
|
# clean:
|
|
# rm -rf *.o
|
|
# rm -rf solver
|