Module: ppl/ppl Branch: master Commit: 5ccbc9497bf3e51bd726a1bbe828311c7b7fe931 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5ccbc9497bf3e...
Author: Roberto Bagnara bagnara@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