mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-06 07:54:00 +00:00
Code Activity

minisat: Record changes in patch

Browse source
This commit is contained in:
Krystine Sherwin 2024-08-17 10:01:25 +12:00
parent 55307a5452
commit e9f909aa25
No known key found for this signature in database
2 changed files with 38 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
libs/minisat/00_UPDATE.sh
View file

@ -17,3 +17,4 @@ 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
patch -p0 < 00_PATCH_warnings.patch