Binary distributions don't install gmp

[simonmar]

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

[igloo]

Adding

$(MAKE) -C gmp       install      DOING_BIN_DIST=YES

somewhere in the install target of distrib/Makefile sounds like the right thing to do, but I assume that's what you mean by "Just invoking gmp/Makefile doesn't work". What goes wrong when you try that?

[igloo]

I've applied the fix I suggested above, but haven't yet tested it with a bindist that needs to install gmp.

[igloo]

I've tweaked the fix slightly, and it now works (HEAD and 6.8 branch).