diff options
| author | whitequark <whitequark@whitequark.org> | 2020-05-01 21:28:20 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-01 21:28:20 +0000 |
| commit | bbde2419420a86635baf2b730ebe58ed6edca5bb (patch) | |
| tree | 0dbd707b90ba392f540e63fe41d2179b3b97440d /libs/minisat/00_UPDATE.sh | |
| parent | 667f38fe533c9f6676b5944d801a5fb33938ef8b (diff) | |
| parent | b43c282e4e0de53b9323a5d8d85b07bc73324a17 (diff) | |
| download | yosys-bbde2419420a86635baf2b730ebe58ed6edca5bb.tar.gz yosys-bbde2419420a86635baf2b730ebe58ed6edca5bb.tar.bz2 yosys-bbde2419420a86635baf2b730ebe58ed6edca5bb.zip | |
Merge pull request #2001 from whitequark/wasi
Add WASI platform support
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 |