From 903d243eac50eb8172ab4e25343f4048aa30c4b8 Mon Sep 17 00:00:00 2001 From: jgwilson42 Date: Thu, 23 Mar 2017 10:31:24 +0000 Subject: [PATCH] Updates for GCC 6 --- COMPILING | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/COMPILING b/COMPILING index 8fe38eeea7e..cfbb056c2e0 100644 --- a/COMPILING +++ b/COMPILING @@ -36,7 +36,7 @@ We assume that you have a Debian/Ubuntu or Red Hat-like distribution. On Red Hat/Fedora or derivates, do - yum install gcc gcc-c++ flex bison perl-libwww-perl patch + yum install gcc gcc-c++ flex bison perl-libwww-perl patch devtoolset-6 Note that you need g++ version 5.2 or newer. @@ -48,13 +48,14 @@ We assume that you have a Debian/Ubuntu or Red Hat-like distribution. cd cbmc-git/src make minisat2-download - make + make CXX=g++-6 On Redhat/Fedora etc., do cd cbmc-git/src make minisat2-download - make CXX=g++-6 + scl enable devtoolset-6 bash + make COMPILATION ON SOLARIS 11