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

[Roberto Bagnara]

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

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it