aboutsummaryrefslogtreecommitdiffstats
path: root/libs/minisat/00_PATCH_wasm.patch
Commit message (Collapse)AuthorAgeFilesLines
* minisat: add missing include guard for WASI.whitequark2020-06-211-0/+12
| | | | | Including signal.h used to be allowed in WASI by mistake, but it's an error since SDK 11.
* Add WASI platform support.whitequark2020-04-301-0/+34
This includes the following significant changes: * Patching ezsat and minisat to disable resource limiting code on WASM/WASI, since the POSIX functions they use are unavailable. * Adding a new definition, YOSYS_DISABLE_SPAWN, present if platform does not support spawning subprocesses (i.e. Emscripten or WASI). This definition hides the definition of `run_command()`. * Adding a new Makefile flag, DISABLE_SPAWN, present in the same condition. This flag disables all passes that require spawning subprocesses for their function.