1 files changed, 4 insertions, 0 deletions
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