From d08a75ad983f5adde506dee3629dace052564dff Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Tue, 12 Jun 2018 14:37:03 +0000
Subject: [PATCH] Document the required GCC/G++ version as >= 5.0

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

Fixes: #1602
---
 COMPILING.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/COMPILING.md b/COMPILING.md
index 79460e7334..995d40ce95 100644
--- a/COMPILING.md
+++ b/COMPILING.md
@@ -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
    ```
-   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.
 
@@ -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
    ```
-   export LD_LIBRARY_PATH=/usr/gcc/4.9/lib
+   export LD_LIBRARY_PATH=/usr/gcc/5.0/lib
    ```
 
 # COMPILATION ON FREEBSD 11