[PPL-devel] a Bug, a Beg and a Binding

[Axel Simon]

On Monday, Aug 25, 2003, at 10:55 Europe/Paris, Roberto Bagnara wrote:
>> No, not yet. There reason might be that Haskell uses a pre-installed 
>> gmp package which is version 4.0.1. I compiled PPL against 4.2.1. 
>> Thus PPL used the headers and gmpxx.a of the newer version while the 
>> gmp.a is from Haskell. I know that it's asking for trouble, but the 
>> binary representation of mpz's haven't changed and I don't get any 
>> link errors. I'll try to build PPL against version 4.0.1 now. Is that 
>> possible?
>
> Unfortunately not: we require GMP 4.1.2 (the latest release, as of 
> today).

I successfully compiled PPL against 4.0.1. I can't claim that it works 
better, it's still the same. Since the interface obviously hasn't 
changed, why does PPL require 4.1.2?

Axel.