From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 11 Oct 2014 08:24:46 +0000 (+0200)
Subject: Disabled ezminisat timeout feature for Win32
X-Git-Tag: yosys-0.4~75
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=93e6ebe771c675280742adf6905298301575d0a7;p=yosys.git

Disabled ezminisat timeout feature for Win32
---

diff --git a/libs/ezsat/ezminisat.cc b/libs/ezsat/ezminisat.cc
index 267355ada..b996d4a3d 100644
--- a/libs/ezsat/ezminisat.cc
+++ b/libs/ezsat/ezminisat.cc
@@ -77,6 +77,7 @@ bool ezMiniSAT::eliminated(int idx)
 }
 #endif
 
+#ifndef _WIN32
 ezMiniSAT *ezMiniSAT::alarmHandlerThis = NULL;
 clock_t ezMiniSAT::alarmHandlerTimeout = 0;
 
@@ -88,6 +89,7 @@ void ezMiniSAT::alarmHandler(int)
 	} else
 		alarm(1);
 }
+#endif
 
 bool ezMiniSAT::solver(const std::vector<int> &modelExpressions, std::vector<bool> &modelValues, const std::vector<int> &assumptions)
 {
@@ -174,6 +176,7 @@ contradiction:
 #endif
 	}
 
+#ifndef _WIN32
 	struct sigaction sig_action;
 	struct sigaction old_sig_action;
 	int old_alarm_timeout = 0;
@@ -188,9 +191,11 @@ contradiction:
 		sigaction(SIGALRM, &sig_action, &old_sig_action);
 		alarm(1);
 	}
+#endif
 
 	bool foundSolution = minisatSolver->solve(assumps);
 
+#ifndef _WIN32
 	if (solverTimeout > 0) {
 		if (alarmHandlerTimeout == 0)
 			solverTimoutStatus = true;
@@ -198,6 +203,7 @@ contradiction:
 		sigaction(SIGALRM, &old_sig_action, NULL);
 		alarm(old_alarm_timeout);
 	}
+#endif
 
 	if (!foundSolution) {
 #if !EZMINISAT_INCREMENTAL
diff --git a/libs/ezsat/ezminisat.h b/libs/ezsat/ezminisat.h
index ac9c071c3..5b5252d88 100644
--- a/libs/ezsat/ezminisat.h
+++ b/libs/ezsat/ezminisat.h
@@ -51,9 +51,11 @@ private:
 	std::set<int> cnfFrozenVars;
 #endif
 
+#ifndef _WIN32
 	static ezMiniSAT *alarmHandlerThis;
 	static clock_t alarmHandlerTimeout;
 	static void alarmHandler(int);
+#endif
 
 public:
 	ezMiniSAT();