Problems with libgmp
Wed, 15 Nov 2000 17:47:08 +0100 (CET)
> So, I can't quite work out what went wrong in your case. If the build
> didn't detect GMP 2, then it should have just used the one in the tree.
Obviously, when linking, it did not use the one in the tree :-(
Conclusion: The Linux linker does not behave like other linkers or
there is a bug in some Makefile.
> BTW, you can't use GMP 3 with ghc-4.08.1 (the native code generator at
> least will break).
Ok, I'll to try to get a snapshot from the CVS repository.