binary distributions and gmp

[Simon Marlow]

Manuel M T Chakravarty wrote:
> Unfortunately, make binary-dist is broken in the HEAD and the 6.8 branch 
> for systems without a pre-installed gmp library.  The reason is that 
> distrib/Makefile lacks code that installs the embedded gmp.  For the Mac 
> OS X 10.5 binary distribution that I just announced on the GHC users 
> list, I patched the Makefile with the attached patch.  However, I am not 
> sure whether that's the best/intended way of doing this.  (Just invoking 
> gmp/Makefile doesn't work, but it might be nice to fix that instead of 
> inlining the GMP install in the toplevel Makefile.)
> 
> What's the Right Thing to do here?

I've created a ticket:

http://hackage.haskell.org/trac/ghc/ticket/1848

Cheers,
	Simon