id summary reporter owner description type status priority milestone component version resolution keywords cc os architecture failure testcase blockedby blocking related differential
1848 Binary distributions don't install gmp simonmar igloo "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?
Manuel" bug closed high 6.8.2 Build System 6.8.1 fixed gmp chak@… Unknown/Multiple Unknown/Multiple