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