X-Git-Url: https://scm.cri.mines-paristech.fr/git/Faustine.git/blobdiff_plain/1059e1cc0c2ecfa237406949aa26155b6a5b9154..f3caf3d551b4ba1cd98d55678f0fd8085522669f:/INSTALL.txt

diff --git a/INSTALL.txt b/INSTALL.txt
index af2592e..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
@@ -16,11 +17,11 @@ INSTALLATION INSTRUCTIONS
 
         git clone https://scm.cri.ensmp.fr/git/Faustine.git
 
-1- Configure the system. From the top directory, do:
+1- Configure the system. From within the Faustine directory, do:
 
         ./configure
 
-2- From the top directory, do:
+2- From within the Faustine directory, do:
 
         make
 
@@ -29,18 +30,18 @@ This phase is fairly verbose; consider redirecting the output to a file:
 
         make > makelog.txt
 
-3- From the top directory, do:
+3- From within the Faustine directory, do:
 
-        make install
+        sudo make install
 
 This installs Faustine interpreter and libraries (by default in /usr/local/bin and /usr/local/lib). 
 
 4- (Optional) To be test things work well, you can try to
 test -- that is, to process a sine wave with
-the newly created interpreter. From the top directory, do:
+the newly created interpreter. From the Faustine directory, do:
 
         make test
 
 
 
--- Karim Barkati and Haisheng Wang, 2013
+-- Karim Barkati and Haisheng Wang, MINES ParisTech, 2013