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