Conflicting with ppl-1.0

[Marc Glisse]

On Sat, 22 Dec 2012, Roberto Bagnara wrote:

> 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

Thanks Roberto, that's a great response time!

-- 
Marc Glisse