Merge branch 'master' of https://scm.cri.ensmp.fr/git/Faustine

[Faustine.git] / INSTALL.txt

diff --git a/INSTALL.txt b/INSTALL.txt
index 88ee6e0554afa6603af10d3cf66a3d0d21df47f7..ebfb17df3993d785e4f2c2c283b57c423e055b23 100644 (file)
--- 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