[PPL-devel] configure error: __GMP_BITS_PER_MP_LIMB: first use in this function, with gmp 5.0.1

[Roberto Bagnara]

On 04/15/10 15:11, Timothy Madden wrote:
> Trying to compile PPL with the latest version of GMP (5.0.1) returns a
> configure error  where the C++ compiler complains that symbol
> __GMP_BITS_PER_MP_LIMB is undefined. Symbol used to be defined in gmp
> 4.1.4, but no longer exists in 5.0.1

Hi Timothy.

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. In any case the problem is fixed in the Git repository
and will not be present in PPL 0.11, to be released on May 8, 2010.
Meanwhile, release snapshots are available at

   http://www.cs.unipr.it/ppl/Download/ftp/snapshots/

Thanks for reporting!
All the best,

    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