[PPL-devel] [GIT] ppl/ppl(master): Sentence revised.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: 5ccbc9497bf3e51bd726a1bbe828311c7b7fe931
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5ccbc9497bf3e51bd726a1bbe828311c7b7fe931

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Mar 19 12:05:33 2012 +0100

Sentence revised.

---

 README.configure |   12 +++++++-----
 1 files changed, 7 insertions(+), 5 deletions(-)

diff --git a/README.configure b/README.configure
index 0db4546..24dfea5 100644
--- a/README.configure
+++ b/README.configure
@@ -24,11 +24,13 @@ Contents
 -----------------------------------------------------
 
 In an ideal situation (i.e., on a more or less standard Un*x
-environment, with the right compilers, the GMP library installed in a
-standard place and provided the user is satisfied with all the options
-we chose as defaults), a source distribution of the Parma Polyhedra
-Library (PPL) can be unpacked, configured, built and installed with
-the following, well-known procedure:
+environment, with the right C++ compiler to compile the core library
+as well as the right compilers to compile all the enabled language
+interfaces, with the GMP library installed in a standard place and
+provided the user is satisfied with all the options we chose as
+defaults), a source distribution of the Parma Polyhedra Library (PPL)
+can be unpacked, configured, built and installed with the following,
+well-known procedure:
 
   $ tar jxf ppl-x.y.tar.bz2
   $ ./configure