--- Makefile	2007-11-05 17:03:56.000000000 +1100
+++ /Users/chak/Sandbox/src/ghc-6.8.1/ghc-6.8.1/Makefile	2007-11-06 14:56:09.000000000 +1100
@@ -27,6 +27,12 @@
 	$(MAKE) -C docs      install-docs DOING_BIN_DIST=YES
 	$(MAKE) -C libraries/Cabal/doc install-docs DOING_BIN_DIST=YES
 	$(INSTALL_DATA) $(INSTALL_OPTS) extra-gcc-opts $(libdir)
+ifneq "$(HaveLibGmp)" "YES"
+ifneq "$(HaveFrameworkGMP)" "YES"
+	$(INSTALL_DATA) gmp/gmp.h    $(headerdir)
+	$(INSTALL_DATA) gmp/libgmp.a $(libdir)
+endif
+endif
 
 install :: postinstall denounce
 
