diff options
author | Clifford Wolf <clifford@clifford.at> | 2014-07-21 01:03:01 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2014-07-21 01:03:01 +0200 |
commit | ade659e617922171ad1b678a51765ba2046c27d8 (patch) | |
tree | f6dd312d5b3290fe019dd7c1dc296b3147664cc8 /libs/ezsat/Makefile | |
parent | 92c9403249ba59e5f57b2adb8b8b0141c2c63f26 (diff) |
Fixed ezSAT stand-alone build
Diffstat (limited to 'libs/ezsat/Makefile')
-rw-r--r-- | libs/ezsat/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/libs/ezsat/Makefile b/libs/ezsat/Makefile index e831cc6f..1dcb5d15 100644 --- a/libs/ezsat/Makefile +++ b/libs/ezsat/Makefile @@ -3,7 +3,8 @@ CC = clang CXX = clang CXXFLAGS = -MD -Wall -Wextra -ggdb CXXFLAGS += -std=c++11 -O0 -LDLIBS = -lminisat -lm -lstdc++ +LDLIBS = ../minisat/Options.cc ../minisat/SimpSolver.cc ../minisat/Solver.cc ../minisat/System.cc -lm -lstdc++ + all: demo_vec demo_bit demo_cmp testbench puzzle3d |