projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d5d0cc8) | patch
minisat: add missing include guard for WASI.
authorwhitequark <whitequark@whitequark.org>
Sun, 21 Jun 2020 21:26:21 +0000 (21:26 +0000)
committerwhitequark <whitequark@whitequark.org>
Sun, 21 Jun 2020 21:26:21 +0000 (21:26 +0000)
commit21d44ebec7dbdd55709dd52f6d940ce8c55cb423
tree41f187751b214ac403322be67f628a66dd116db7tree
parentd5d0cc88d272b85c3be3677993596dcfa82d579fcommit | diff
minisat: add missing include guard for WASI.

Including signal.h used to be allowed in WASI by mistake, but it's
an error since SDK 11.
libs/minisat/00_PATCH_wasm.patch diff | blob | history
libs/minisat/System.cc diff | blob | history