From 745670bf60db025a4b97bc66a830be0ae0ef9786 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <kroening@cs.ox.ac.uk>
Date: Thu, 26 Jul 2018 09:50:43 +0100
Subject: [PATCH] instructions for Amazon Linux

---
 COMPILING.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/COMPILING.md b/COMPILING.md
index 48d879e80d8..d4b7fb3281f 100644
--- a/COMPILING.md
+++ b/COMPILING.md
@@ -29,6 +29,11 @@ We assume that you have a Debian/Ubuntu or Red Hat-like distribution.
    ```
    Note that you need g++ version 5.0 or newer.
 
+   On Amazon Linux and similar distributions, do as root:
+   ```
+   yum install gcc72-c++ flex bison perl-libwww-perl patch
+   ```
+
    To compile JBMC, you additionally need the JDK and the java-models-library.
    For the JDK, on Debian-like distributions, do as root:
    ```