Problems with libgmp

[Michael Marte]

Hello Simon,

> 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.

Thanks,
Michael