binary distributions and gmp

[Manuel M T Chakravarty]

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?

Manuel

-------------- next part --------------
A non-text attachment was scrubbed...
Name: Makefile.patch
Type: application/octet-stream
Size: 540 bytes
Desc: not available
Url : http://www.haskell.org/pipermail/cvs-ghc/attachments/20071106/8fcbead6/Makefile.obj
-------------- next part --------------