path: root/README
diff options
authorClifford Wolf <>2014-03-12 10:17:51 +0100
committerClifford Wolf <>2014-03-12 10:17:51 +0100
commit94c1307c262e4b14f4a91b1bbcf9099ee6202bab (patch)
treeaae192666509ba533b9a9640679a55b002cd869d /README
parent9087ece97c20d76359fb23cfd7a0f13552c1f2fd (diff)
Added libs/minisat (copy of minisat git master)
Diffstat (limited to 'README')
1 files changed, 0 insertions, 15 deletions
diff --git a/README b/README
index 45febc2f..5a48a207 100644
--- a/README
+++ b/README
@@ -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