RE: Problems with libgmp

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