
16 Apr
2010
16 Apr
'10
8:21 a.m.
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@cs.unipr.it