update instructions for g++ 6

2017-03-23 08:50:03 +00:00 · 2017-03-23 08:50:03 +00:00 · c21d3ed442
parent a7663cb997
commit c21d3ed442
1 changed files with 7 additions and 1 deletions
--- a/8
+++ b/8
@ -44,12 +44,18 @@ We assume that you have a Debian/Ubuntu or Red Hat-like distribution.

   git clone https://github.com/diffblue/cbmc cbmc-git

-2) Do
+2) On Debian/Ubuntu, do

   cd cbmc-git/src
   make minisat2-download
   make

+   On Redhat/Fedora etc., do
+
+   cd cbmc-git/src
+   make minisat2-download
+   make CXX=g++-6
+

 COMPILATION ON SOLARIS 11
 -------------------------