| CC = clang | |
| CXX = clang | |
| CXXFLAGS = -MD -Wall -Wextra -ggdb | |
| CXXFLAGS += -std=c++11 -O0 | |
| LDLIBS = ../minisat/Options.cc ../minisat/SimpSolver.cc ../minisat/Solver.cc ../minisat/System.cc -lm -lstdc++ | |
| all: demo_vec demo_bit demo_cmp testbench puzzle3d | |
| demo_vec: demo_vec.o ezsat.o ezminisat.o | |
| demo_bit: demo_bit.o ezsat.o ezminisat.o | |
| demo_cmp: demo_cmp.o ezsat.o ezminisat.o | |
| testbench: testbench.o ezsat.o ezminisat.o | |
| puzzle3d: puzzle3d.o ezsat.o ezminisat.o | |
| test: all | |
| ./testbench | |
| ./demo_bit | |
| ./demo_vec | |
| # ./demo_cmp | |
| # ./puzzle3d | |
| clean: | |
| rm -f demo_bit demo_vec demo_cmp testbench puzzle3d *.o *.d | |
| .PHONY: all test clean | |
| -include *.d | |