mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-03 21:09:12 +00:00
Code Activity

minisat: add missing include guard for WASI.

Browse source 
Including signal.h used to be allowed in WASI by mistake, but it's
an error since SDK 11.
This commit is contained in:
whitequark 2020-06-21 21:26:21 +00:00
parent d5d0cc88d2
commit 21d44ebec7
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
}
--- 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.
**************************************************************************************************/
#if !defined(__wasm)
#include <signal.h>
#endif
#include <stdio.h>
#include "System.h"