Manuel M T Chakravarty wrote:
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 announce
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