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)

---
 libs/ezsat/ezminisat.cc | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'libs/ezsat')

diff --git a/libs/ezsat/ezminisat.cc b/libs/ezsat/ezminisat.cc
index 4677f68bd..caee73f88 100644
--- a/libs/ezsat/ezminisat.cc
+++ b/libs/ezsat/ezminisat.cc
@@ -28,8 +28,13 @@
 #include <csignal>
 #include <cinttypes>
 
-#include <minisat/core/Solver.h>
-#include <minisat/simp/SimpSolver.h>
+#ifdef _YOSYS_
+#  include "libs/minisat/Solver.h"
+#  include "libs/minisat/SimpSolver.h"
+#else
+#  include <minisat/core/Solver.h>
+#  include <minisat/simp/SimpSolver.h>
+#endif
 
 ezMiniSAT::ezMiniSAT() : minisatSolver(NULL)
 {
-- 
cgit v1.2.3