[PPL-devel] [GIT] ppl/w3ppl(master): Added a new item on the list of causes that may prevent detection of GMP.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at 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