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

Merge pull request #6 from whitequark/wasi-signal 

Add missing WASI platform support for signal.h
This commit is contained in:
Eddie Hung 2020-06-22 06:52:40 -07:00 committed by GitHub
parent fd2c9b1c19 81febe5d69
commit 341db25668
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/base/main/mainReal.c
View File

@ -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

16
src/sat/glucose/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_limits.h>
#elif _WIN32
# include "pstdint.h"
#else
#define __STDC_LIMIT_MACROS
# include "pstdint.h"
//# include <inttypes.h>
# define __STDC_LIMIT_MACROS
# include <limits.h>
# include <inttypes.h>
#endif
#include <limits.h>
#ifndef PRIu64
#define PRIu64 "lu"
#define PRIi64 "ld"
#endif
//=================================================================================================
#include <misc/util/abc_namespaces.h>