ebmc: move compilation instructions into COMPILING.md

This moves, and elaborates, the compilation instructions from README.md to
COMPILING.md.

COMPILING.md

@@ -0,0 +1,35 @@
+Compiling
+=========
+
+1. You need a C/C++ compiler, Flex and Bison, and GNU make.
+   The GNU Make needs to be version 3.81 or higher.
+   On Debian-like distributions, including Ubuntu, do as root:
+   ```
+   apt-get install g++ gcc flex bison make git curl patch
+   ```
+   On Red Hat/Fedora or derivates, do as root:
+   ```
+   dnf install gcc gcc-c++ flex bison curl patch
+   ```
+   Note that you need g++ version 7.0 or newer.
+
+   On Amazon Linux and similar distributions, do as root:
+   ```
+   yum install gcc72-c++ flex bison curl patch tar
+   ```
+
+2. Initialize and update the CBMC submodule:
+   ```
+   git submodule init; git submodule update
+   ```
+
+3. Download minisat:
+   ```
+   make -C lib/cbmc/src minisat2-download
+   ```
+
+4. Build EBMC:
+   ```
+   make -C src
+   ```
+   This also builds the CBMC submodule. The binary will be in src/ebmc/ebmc.

README.md

@@ -12,14 +12,6 @@ or CVC4 to solve the decision problem.
 
 For full information see [cprover.org](http://www.cprover.org/ebmc/).
 
-Compiling
-=========
-
-- initialize and update the CBMC submodule: `$> git submodule init; git submodule update`
-- download minisat: `$> make -C lib/cbmc/src minisat2-download`
-- build EBMC: `$> make -C src` (this also builds the CBMC submodule)
-- optional: `$> export PATH=/full/path/hw-cbmc/src/ebmc:${PATH}` to get EBMC on the path
-
 Usage
 =====