From 0f1f769830d320ee7263e5ad04b5c4a554491b83 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 30 May 2018 16:56:29 +0100
Subject: Update INSTALL.md

Some tweaks to installation instructions for latest OCaml versions (4.05 and 4.06)---
 INSTALL.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/INSTALL.md b/INSTALL.md
index a9d7d060..61469875 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -51,6 +51,8 @@ cd ..
 Lem
 ---
 
+If you are using OCaml 4.06, you'll need to run `opam install num` before building lem.cd 
+
 ```
 git clone git@github.com:rems-project/lem.git
 cd lem
@@ -63,6 +65,8 @@ cd ../..
 Linksem
 -------
 
+Make sure the LEMLIB environment variable is set correctly before building linksem. This should be the library directory within the checked-out lem directory.
+
 ```
 git clone git@github.com:rems-project/linksem.git
 cd linksem
-- 
cgit v1.2.3