mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-29 11:55:52 +00:00
Code Activity

minisat compile fix

Browse source
This commit is contained in:
Clifford Wolf 2014-04-20 14:17:40 +02:00
parent 12a3c05229
commit d2d48996c4
3 changed files with 25 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
libs/minisat/UPDATE.sh
View file

@ -11,3 +11,6 @@ sed -i -e 's/Minisat::memUsedPeak()/Minisat::memUsedPeak(bool)/' System.cc
sed -i -e 's/PRI[iu]64/ & /' Options.h Solver.cc
sed -i -e '1 i #define __STDC_LIMIT_MACROS' *.cc
sed -i -e '1 i #define __STDC_FORMAT_MACROS' *.cc
patch -p0 < PATCH_mkLit_default_arg.patch