PPL-devel

Download

ppl-devel@bugseng.com

June 2009

12 participants
52 discussions

a proposal for the FAQs
by Peter Pein 02 Jun '09

02 Jun '09

Dear PPL-developers, I got the "GMP not found", because there had been a typo in an additional compiler option. "GMP not found" is quite misleading, isn't it? I suggest you add this possible reason for the message to http://www.cs.unipr.it/ppl/FAQ#GMP_Not_Found. Sincerly, Peter Pein

2 1

[GIT] ppl/w3ppl(master): Added a new item on the list of causes that may prevent detection of GMP.
by Roberto Bagnara 02 Jun '09

02 Jun '09

Module: ppl/w3ppl Branch: master Commit: 56f8c4ba34133ef4064189dd18a58f94febbea76 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=56f8c4ba34… Author: Roberto Bagnara <bagnara(a)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

1 0