diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-03-12 10:17:51 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-03-12 10:17:51 +0100 |
| commit | 94c1307c262e4b14f4a91b1bbcf9099ee6202bab (patch) | |
| tree | aae192666509ba533b9a9640679a55b002cd869d /README | |
| parent | 9087ece97c20d76359fb23cfd7a0f13552c1f2fd (diff) | |
Added libs/minisat (copy of minisat git master)
Diffstat (limited to 'README')
| -rw-r--r-- | README | 15 |
1 files changed, 0 insertions, 15 deletions
@@ -280,21 +280,6 @@ Verilog Attributes and non-standard features must be put in parentheses. Examples: WIDTH'd42, (4+2)'b101010 -Workarounds for known build problems -==================================== - -You might get an error message like this one during build when building with -a recent version of gcc: - - /usr/include/minisat/utils/Options.h:285:29: error: - unable to find string literal operator ‘operator"" PRIi64’ - -This is a bug in the minisat header. It can be fixed by adding spaces before -and after each occurrence of PRIi64 in the header file: - - sudo sed -i -e 's/PRIi64/ & /' /usr/include/minisat/utils/Options.h - - Roadmap / Large-scale TODOs =========================== |