Wrong check for GMP version fails with GMP5.0.0
Ciao, __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. Yours sincerely, Little Nicholas Collin de Gloucester
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@cs.unipr.it
participants (2)
-
Colin Paul Gloster -
Roberto Bagnara