diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/base/main/mainReal.c | 2 | ||||
| -rw-r--r-- | src/sat/glucose/IntTypes.h | 14 |
2 files changed, 8 insertions, 8 deletions
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 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> |