Conflicting with ppl-1.0

[Roberto Bagnara]

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 at cs.unipr.it
                               BUGSENG srl - http://bugseng.com
                               mailto:roberto.bagnara at bugseng.com