[PPL-devel] a Bug, a Beg and a Binding
a.simon at kent.ac.uk
Tue Aug 26 16:03:09 CEST 2003
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
> Unfortunately not: we require GMP 4.1.2 (the latest release, as of
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?
More information about the PPL-devel