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.

diff --git a/libs/minisat/00_PATCH_wasm.patch b/libs/minisat/00_PATCH_wasm.patch
index 0bcff7d773054513b3124a26da3690323fa0e520..384930047970a132d30f5d1a84a376fbf92d1661 100644 (file)
--- 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 345be8c4c75a54515552f1fd88a30b0f74840e49..807e46c694bc98f8bd280457d315f73500c27106 100644 (file)
--- 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"