luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Add WASI platform support to glucose2. 

Signed-off-by: Miodrag Milanovic <mmicko@gmail.com>
This commit is contained in:
Miodrag Milanovic 2021-11-11 18:08:50 +01:00
parent e792072f8a
commit e114dda51a
1 changed files with 7 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/sat/glucose2/IntTypes.h
View File

@ -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_fmtio.h>
# include <sys/int_limits.h> # include <sys/int_limits.h>
#elif _WIN32
# include "pstdint.h"
#else #else
#define __STDC_LIMIT_MACROS # define __STDC_LIMIT_MACROS
# include "pstdint.h" # include <limits.h>
//# include <inttypes.h> # include <inttypes.h>
#endif #endif
#include <limits.h>
#ifndef PRIu64
#define PRIu64 "lu"
#define PRIi64 "ld"
#endif
//================================================================================================= //=================================================================================================
#include <misc/util/abc_namespaces.h> #include <misc/util/abc_namespaces.h>