X-Git-Url: https://scm.cri.mines-paristech.fr/git/Faustine.git/blobdiff_plain/13f27ae45e641f43a9f7cd2cc6ceef016737ad13..8d0f7daae8a3ec7cda6d4a74c4c819d5ece97a8b:/INSTALL.txt?ds=sidebyside

diff --git a/INSTALL.txt b/INSTALL.txt
index 88ee6e0..ebfb17d 100644
--- a/INSTALL.txt
+++ b/INSTALL.txt
@@ -5,8 +5,9 @@ Installing Faustine on a Unix machine
 PREREQUISITES
 -------------
 
-* OCaml is needed (tested version: 4.00.1).
+* OCaml is needed (tested versions: 3.12.1, 4.00.1).
 * The GNU C compiler gcc is recommended.
+* Standard development utilities are required, such as `make' (install XCode command line tools on Mac OS).
 
 
 INSTALLATION INSTRUCTIONS
@@ -29,7 +30,7 @@ This phase is fairly verbose; consider redirecting the output to a file:
 
         make > makelog.txt
 
-3- From the Faustine directory, do:
+3- From within the Faustine directory, do:
 
         sudo make install