summaryrefslogtreecommitdiff
path: root/libs
diff options
context:
space:
mode:
Diffstat (limited to 'libs')
-rw-r--r--libs/ezsat/Makefile3
-rw-r--r--libs/ezsat/ezminisat.cc9
2 files changed, 4 insertions, 8 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
diff --git a/libs/ezsat/ezminisat.cc b/libs/ezsat/ezminisat.cc
index caee73f8..6a6c075f 100644
--- a/libs/ezsat/ezminisat.cc
+++ b/libs/ezsat/ezminisat.cc
@@ -28,13 +28,8 @@
#include <csignal>
#include <cinttypes>
-#ifdef _YOSYS_
-# include "libs/minisat/Solver.h"
-# include "libs/minisat/SimpSolver.h"
-#else
-# include <minisat/core/Solver.h>
-# include <minisat/simp/SimpSolver.h>
-#endif
+#include "../minisat/Solver.h"
+#include "../minisat/SimpSolver.h"
ezMiniSAT::ezMiniSAT() : minisatSolver(NULL)
{