Re: [PPL-devel] Wrong check for GMP version fails with GMP5.0.0

On 01/29/10 19:12, Colin Paul Gloster wrote:

__GMP_BITS_PER_MP_LIMB is used in configure of PPL0.10.2 but this does not exist in GMP5.0.0.

I used a kludge to force configure to accept it and make check seemed to report passes for all tests.

Hi there.

Yes, GMP 5.0.0 contains a change that is not backward compatible. See http://www.cs.unipr.it/pipermail/ppl-devel/2010-January/015872.html for a workaround. This is already fixed in the Git repository and so PPL 0.11 will be OK. Thanks for reporting,

Roberto