id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
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,,Easy (less than 1 hour),,,,