From 21d44ebec7dbdd55709dd52f6d940ce8c55cb423 Mon Sep 17 00:00:00 2001
From: whitequark <whitequark@whitequark.org>
Date: Sun, 21 Jun 2020 21:26:21 +0000
Subject: [PATCH] minisat: add missing include guard for WASI.

Including signal.h used to be allowed in WASI by mistake, but it's
an error since SDK 11.
---
 libs/minisat/00_PATCH_wasm.patch | 12 ++++++++++++
 libs/minisat/System.cc           |  2 ++
 2 files changed, 14 insertions(+)

diff --git a/libs/minisat/00_PATCH_wasm.patch b/libs/minisat/00_PATCH_wasm.patch
index 0bcff7d77..384930047 100644
--- a/libs/minisat/00_PATCH_wasm.patch
+++ b/libs/minisat/00_PATCH_wasm.patch
@@ -32,3 +32,15 @@
  #endif
 +#endif
  }
+--- System.cc
++++ System.cc
+@@ -24,7 +24,9 @@
+ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+ **************************************************************************************************/
+
++#if !defined(__wasm)
+ #include <signal.h>
++#endif
+ #include <stdio.h>
+
+ #include "System.h"
diff --git a/libs/minisat/System.cc b/libs/minisat/System.cc
index 345be8c4c..807e46c69 100644
--- a/libs/minisat/System.cc
+++ b/libs/minisat/System.cc
@@ -24,7 +24,9 @@ DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE,
 OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
 **************************************************************************************************/
 
+#if !defined(__wasm)
 #include <signal.h>
+#endif
 #include <stdio.h>
 
 #include "System.h"
-- 
2.30.2