replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Document the required GCC/G++ version as >= 5.0 

Using GCC 5.0 or newer is required ever since 3eab185246.

Fixes: #1602
This commit is contained in:
Michael Tautschnig 2018-06-12 14:37:03 +00:00
parent 278e506e18
commit d08a75ad98
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
COMPILING.md
View File

@ -27,7 +27,7 @@ We assume that you have a Debian/Ubuntu or Red Hat-like distribution.
``` ```
yum install gcc gcc-c++ flex bison perl-libwww-perl patch devtoolset-6 java-1.7.0-openjdk-devel yum install gcc gcc-c++ flex bison perl-libwww-perl patch devtoolset-6 java-1.7.0-openjdk-devel
``` ```
Note that you need g++ version 4.9 or newer. Note that you need g++ version 5.0 or newer.
To compile JBMC, you additionally need the JDK and the java-models-library. To compile JBMC, you additionally need the JDK and the java-models-library.
@ -100,7 +100,7 @@ We assume that you have a Debian/Ubuntu or Red Hat-like distribution.
``` ```
That should do it. To run, you will need That should do it. To run, you will need
``` ```
export LD_LIBRARY_PATH=/usr/gcc/4.9/lib export LD_LIBRARY_PATH=/usr/gcc/5.0/lib
``` ```
# COMPILATION ON FREEBSD 11 # COMPILATION ON FREEBSD 11