
22 Dec
2012
22 Dec
'12
9:44 a.m.
On 12/22/12 09:27, Marc Glisse wrote:
On Sat, 22 Dec 2012, Алексей Павлов wrote:
Hi! New gmp-5.1.0 conflicting with ppl-1.0. When I try to build ppl-1.0 I got errors:
[...]
../../../mingw-sources/ppl-1.0/src/mp_std_bits.defs.hh:47:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >'
Hello,
did you post that to the PPL mailing-list? This is something for them to fix.
Yes, it was fixed almost immediately after the release of GMP 5.1.0:
http://www.cs.unipr.it/pipermail/ppl-devel/2012-December/018574.html
Kind regards,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara@cs.unipr.it
BUGSENG srl - http://bugseng.com
mailto:roberto.bagnara@bugseng.com