From 94c1307c262e4b14f4a91b1bbcf9099ee6202bab Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 12 Mar 2014 10:17:51 +0100
Subject: Added libs/minisat (copy of minisat git master)

---
 Makefile | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index abb473ba..0acc0d0e 100644
--- a/Makefile
+++ b/Makefile
@@ -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
-- 
cgit v1.2.3