From 9127d89ef6f731c5e93f8d59a3dd2dd1b3c73e07 Mon Sep 17 00:00:00 2001
From: Karim Barkati <karimbarkati@gmail.com>
Date: Tue, 17 Sep 2013 15:31:49 +0200
Subject: [PATCH] INSTALL.txt review.

---
 INSTALL.txt | 15 ++++++++-------
 README.txt  |  4 ++--
 2 files changed, 10 insertions(+), 9 deletions(-)

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
diff --git a/README.txt b/README.txt
index b55749e..5441db1 100644
--- a/README.txt
+++ b/README.txt
@@ -25,11 +25,11 @@ Yann Orlarey, 2009:
 CONTENTS
 --------
 
-  architecture/         library files in Faustine (fft.lib, morpho.libÉ)
+  architecture/         library files in Faustine (fft.lib, morpho.lib...)
   benchmarks/           benchmark result files
   Changes.txt           what's new with each release
   configure             compilation configuration script
-  examples/             vector examples (fft, image processingÉ)
+  examples/             vector examples (fft, image processing...)
   INSTALL.txt           Faustine installation instructions
   interpreter/          Faustine's interpreter source code
   LICENSE.txt           license and copyright notice
-- 
2.20.1