diff options
author | Clifford Wolf <clifford@clifford.at> | 2014-03-12 10:17:51 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2014-03-12 10:17:51 +0100 |
commit | 94c1307c262e4b14f4a91b1bbcf9099ee6202bab (patch) | |
tree | aae192666509ba533b9a9640679a55b002cd869d /Makefile | |
parent | 9087ece97c20d76359fb23cfd7a0f13552c1f2fd (diff) |
Added libs/minisat (copy of minisat git master)
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 9 |
1 files changed, 4 insertions, 5 deletions
@@ -6,7 +6,6 @@ CONFIG := clang-debug # features (the more the better) ENABLE_TCL := 1 ENABLE_QT4 := 1 -ENABLE_MINISAT := 1 ENABLE_ABC := 1 ENABLE_VERIFIC := 0 @@ -95,11 +94,11 @@ OBJS += libs/sha1/sha1.o OBJS += libs/subcircuit/subcircuit.o OBJS += libs/ezsat/ezsat.o -ifeq ($(ENABLE_MINISAT),1) -CXXFLAGS += -DYOSYS_ENABLE_MINISAT OBJS += libs/ezsat/ezminisat.o -LDLIBS += -lminisat -endif +OBJS += libs/minisat/Options.o +OBJS += libs/minisat/SimpSolver.o +OBJS += libs/minisat/Solver.o +OBJS += libs/minisat/System.o include frontends/*/Makefile.inc include passes/*/Makefile.inc |