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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Jun 2 08:46:02 2009 +0200

Added a new item on the list of causes that may prevent detection of GMP. (Thanks to Peter Pein.)

---

htdocs/FAQ.raw | 7 ++++++- 1 files changed, 6 insertions(+), 1 deletions(-)

diff --git a/htdocs/FAQ.raw b/htdocs/FAQ.raw index 665f654..4c9ec50 100644 --- a/htdocs/FAQ.raw +++ b/htdocs/FAQ.raw @@ -199,7 +199,12 @@ You may have a version of GMP installed on your system, it may be installed into a nonstandard place and/or </LI> <LI> - it may have been built with the C++ interface disabled. + it may have been built with the C++ interface disabled and/or + </LI> + <LI> + additional compiler/linker options you may have specified via + <CODE>configure</CODE> options or environment variables are invalid + on the platform you use. </LI> </OL> See the file