libs/ezsat/Makefile

   1
   2 CC = clang
   3 CXX = clang
   4 CXXFLAGS = -MD -Wall -Wextra -ggdb
   5 CXXFLAGS += -std=c++11 -O0
   6 LDLIBS = ../minisat/Options.cc ../minisat/SimpSolver.cc ../minisat/Solver.cc ../minisat/System.cc -lm -lstdc++
   7
   8
   9 all: demo_vec demo_bit demo_cmp testbench puzzle3d
  10
  11 demo_vec: demo_vec.o ezsat.o ezminisat.o
  12 demo_bit: demo_bit.o ezsat.o ezminisat.o
  13 demo_cmp: demo_cmp.o ezsat.o ezminisat.o
  14 testbench: testbench.o ezsat.o ezminisat.o
  15 puzzle3d: puzzle3d.o ezsat.o ezminisat.o
  16
  17 test: all
  18         ./testbench
  19         ./demo_bit
  20         ./demo_vec
  21         # ./demo_cmp
  22         # ./puzzle3d
  23
  24 clean:
  25         rm -f demo_bit demo_vec demo_cmp testbench puzzle3d *.o *.d
  26
  27 .PHONY: all test clean
  28
  29 -include *.d
  30