COMPILE=g++ -Wall -O3 -DNDEBUG
all: cadiback
cadiback: cadiback.o ../cadical/build/libcadical.a makefile
	$(COMPILE) -o $@ $< -L../cadical/build -lcadical
cadiback.o: cadiback.cpp config.hpp ../cadical/src/cadical.hpp makefile
	$(COMPILE) -c $< -I../cadical/src
config.hpp: generate VERSION makefile
	./generate > $@
format:
	clang-format -i cadiback.cpp
test: all
	./test/run.sh
clean:
	rm -f cadiback.o config.hpp cadiback makefile test/*log test/*err
.PHONY: all clean format test
