From 94c1307c262e4b14f4a91b1bbcf9099ee6202bab Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Wed, 12 Mar 2014 10:17:51 +0100 Subject: Added libs/minisat (copy of minisat git master) --- README | 15 --------------- 1 file changed, 15 deletions(-) (limited to 'README') diff --git a/README b/README index 45febc2f9..5a48a207c 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 =========================== -- cgit v1.2.3