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

[Faustine.git] / INSTALL.txt

diff --git a/INSTALL.txt b/INSTALL.txt
index 88ee6e0..ebfb17d 100644 (file)
--- a/INSTALL.txt
+++ b/INSTALL.txt
@@ -5,8 +5,9 @@ Installing Faustine on a Unix machine
 PREREQUISITES
 -------------
 
 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.
 * 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
 
 
 INSTALLATION INSTRUCTIONS


@@ -29,7 +30,7 @@ This phase is fairly verbose; consider redirecting the output to a file:
 
         make > makelog.txt
 
 
         make > makelog.txt
 

-3- From the Faustine directory, do:
+3- From within the Faustine directory, do:

 
         sudo make install
 
 
         sudo make install