From ef2d917562dadb7efc0780aa717ffe0474a4134f Mon Sep 17 00:00:00 2001
From: whitequark <whitequark@whitequark.org>
Date: Mon, 22 Jun 2020 02:51:42 +0000
Subject: Add WASI platform support to main.

---
 src/base/main/mainReal.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src')

diff --git a/src/base/main/mainReal.c b/src/base/main/mainReal.c
index 68c0c032..a13be5e5 100644
--- a/src/base/main/mainReal.c
+++ b/src/base/main/mainReal.c
@@ -49,7 +49,9 @@ SUPPORT, UPDATES, ENHANCEMENTS, OR MODIFICATIONS.
 #include <sys/times.h>   
 #include <sys/resource.h>
 #include <unistd.h>      
+#if !defined(__wasm)
 #include <signal.h>      
+#endif
 #include <stdlib.h>
 #endif
 
-- 
cgit v1.2.3


From 81febe5d69ddd98f23ec645465500effdcddd1ae Mon Sep 17 00:00:00 2001
From: whitequark <whitequark@whitequark.org>
Date: Mon, 22 Jun 2020 02:51:26 +0000
Subject: Add WASI platform support to glucose.

---
 src/sat/glucose/IntTypes.h | 14 ++++++--------
 1 file changed, 6 insertions(+), 8 deletions(-)

(limited to 'src')

diff --git a/src/sat/glucose/IntTypes.h b/src/sat/glucose/IntTypes.h
index 3f75862b..5c4176b2 100644
--- a/src/sat/glucose/IntTypes.h
+++ b/src/sat/glucose/IntTypes.h
@@ -28,20 +28,18 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
 #   include <sys/int_fmtio.h>
 #   include <sys/int_limits.h>
 
-#else
+#elif _WIN32
 
-#define __STDC_LIMIT_MACROS
 #   include "pstdint.h"
-//#   include <inttypes.h>
 
-#endif
+#else
 
-#include <limits.h>
+#   define __STDC_LIMIT_MACROS
+#   include <limits.h>
+#   include <inttypes.h>
 
-#ifndef PRIu64
-#define PRIu64 "lu"
-#define PRIi64 "ld"
 #endif
+
 //=================================================================================================
 
 #include <misc/util/abc_namespaces.h>
-- 
cgit v1.2.3