Ticket #1848 (closed bug: fixed)
Binary distributions don't install gmp
|Reported by:||simonmar||Owned by:||igloo|
|Type of failure:||Difficulty:||Easy (less than 1 hour)|
|Test Case:||Blocked By:|
Manuel Chakravarty writes:
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?