diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2021-11-11 18:08:50 +0100 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2021-11-12 12:39:03 +0100 |
| commit | f6fa2ddcfc89099726d60386befba874c7ac1e0d (patch) | |
| tree | 95e9fee1816fa9bf12b63181e9fbe348af214fcd /src | |
| parent | e792072f8a6f016eb5f2c8653f261ba7c88e6392 (diff) | |
| download | abc-f6fa2ddcfc89099726d60386befba874c7ac1e0d.tar.gz abc-f6fa2ddcfc89099726d60386befba874c7ac1e0d.tar.bz2 abc-f6fa2ddcfc89099726d60386befba874c7ac1e0d.zip | |
Add WASI platform support to glucose2.
Signed-off-by: Miodrag Milanovic <mmicko@gmail.com>
Diffstat (limited to 'src')
| -rw-r--r-- | src/sat/glucose2/IntTypes.h | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/src/sat/glucose2/IntTypes.h b/src/sat/glucose2/IntTypes.h index 3f75862b..5c4176b2 100644 --- a/src/sat/glucose2/IntTypes.h +++ b/src/sat/glucose2/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> |