configure error: __GMP_BITS_PER_MP_LIMB: first use in this function, with gmp 5.0.1

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

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@cs.unipr.it http://www.cs.unipr.it/mailman/listinfo/ppl-devel

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
participants (3)
-
Enea Zaffanella
-
Roberto Bagnara
-
Timothy Madden