mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-07-03 11:25:41 +00:00
Code Activity

Merge pull request #2181 from whitequark/minisat-wasm-signal

Browse source 
minisat: add missing include guard for WASI
This commit is contained in:
whitequark 2020-06-22 00:10:25 +00:00 • committed by GitHub
commit 97f3a7fc30
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 14 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

12
libs/minisat/00_PATCH_wasm.patch
View file

@ -32,3 +32,15 @@
#endif #endif
+#endif +#endif
} }
--- System.cc
+++ System.cc
@@ -24,7 +24,9 @@
OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
**************************************************************************************************/
+#if !defined(__wasm)
#include <signal.h>
+#endif
#include <stdio.h>
#include "System.h"

2
libs/minisat/System.cc
View file

@ -24,7 +24,9 @@ DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE,
OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
**************************************************************************************************/ **************************************************************************************************/
#if !defined(__wasm)
#include <signal.h> #include <signal.h>
#endif
#include <stdio.h> #include <stdio.h>
#include "System.h" #include "System.h"