diff options
| author | whitequark <whitequark@whitequark.org> | 2019-11-11 09:23:06 +0000 |
|---|---|---|
| committer | whitequark <whitequark@whitequark.org> | 2020-04-30 18:56:25 +0000 |
| commit | b43c282e4e0de53b9323a5d8d85b07bc73324a17 (patch) | |
| tree | ab7a0beb69f8f4cb7588128fbe248343665b1d7d /libs/minisat/00_UPDATE.sh | |
| parent | bc380b0b56e0fa269a0d5844280cc4419d438d3a (diff) | |
| download | yosys-b43c282e4e0de53b9323a5d8d85b07bc73324a17.tar.gz yosys-b43c282e4e0de53b9323a5d8d85b07bc73324a17.tar.bz2 yosys-b43c282e4e0de53b9323a5d8d85b07bc73324a17.zip | |
Add WASI platform support.
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.
Diffstat (limited to 'libs/minisat/00_UPDATE.sh')
| -rwxr-xr-x | libs/minisat/00_UPDATE.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libs/minisat/00_UPDATE.sh b/libs/minisat/00_UPDATE.sh index ea26215ab..51107e450 100755 --- a/libs/minisat/00_UPDATE.sh +++ b/libs/minisat/00_UPDATE.sh @@ -16,4 +16,4 @@ patch -p0 < 00_PATCH_mkLit_default_arg.patch patch -p0 < 00_PATCH_remove_zlib.patch patch -p0 < 00_PATCH_no_fpu_control.patch patch -p0 < 00_PATCH_typofixes.patch - +patch -p0 < 00_PATCH_wasm.patch |