[PPL-devel] [GIT] ppl/ppl(master): Updated to reflect the removal of `--with-gmp-prefix ' in favor of `--with-gmp'.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Oct 20 08:38:01 2011 +0200

Updated to reflect the removal of `--with-gmp-prefix' in favor of `--with-gmp'.

---

 README.configure |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/README.configure b/README.configure
index d25ac3f..f96ba90 100644
--- a/README.configure
+++ b/README.configure
@@ -100,7 +100,7 @@ is not standard for your compiler and/or for your linker, you will
 have to make sure the configure script of the PPL is invoked with,
 among others, the option
 
-  --with-gmp-prefix=<GMP prefix>
+  --with-gmp=<GMP prefix>
 
 If you use shared libraries, consult the documentation of your dynamic
 linker/loader (`man ld.so' will do on most Un*x-like systems) to see
@@ -152,7 +152,7 @@ you can configure the PPL with a command like
 
   /path/to/ppl-x.y/configure --with-cxx=icpc --with-cc=icc \
     --with-cxxflags=-pch \
-    --with-gmp-prefix=/opt/intel/Compiler/11.1/072
+    --with-gmp=/opt/intel/Compiler/11.1/072
 
 Notice that the `--with-cxxflags' option is not essential here and is
 only included to show how extra compiler options can be passed to the
@@ -169,7 +169,7 @@ Then you can configure the PPL with a command like
   /path/to/ppl/configure --with-cc="como --c" --with-cxx="como -tused" \
     --with-cxxflags="-g++ --remarks --long_long \
     --display_error_number --diag_suppress 340,401,679" \
-    --disable-shared --with-gmp-prefix=/opt/comeau/local
+    --disable-shared --with-gmp=/opt/comeau/local
 
 Notice the use of the option `--disable-shared' both in the configuration
 of GMP and the configuration of the PPL.  This is due to the fact that