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

[Enea Zaffanella]

See https://www.cs.unipr.it/mantis/view.php?id=102

Cheers,
Enea.


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
> 
> 
> Thank you,
> Timothy Madden
> _______________________________________________
> PPL-devel mailing list
> PPL-devel at cs.unipr.it
> http://www.cs.unipr.it/mailman/listinfo/ppl-devel
> 
>