X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=distrib%2FMakefile;h=a1576727058837a5a985f059ff04e748481ab5e6;hp=adf39ac1fdc66a8b68cc68a50a80eb13f950276d;hb=ba8ea9d3f3bb97c4f7a680c11374f4f49853f7b1;hpb=4217c6caef9f6d261df1449c590331878a493f14

diff --git a/distrib/Makefile b/distrib/Makefile
index adf39ac..a157672 100644
--- a/distrib/Makefile
+++ b/distrib/Makefile
@@ -1,7 +1,7 @@
 
 include Makefile-vars
 
-.PHONY: install postinstall denounce show-install-setup
+.PHONY: install-strip install postinstall denounce show-install-setup
 
 #.PHONY: in-place
 # This has bitrotted:
@@ -14,6 +14,9 @@ include Makefile-vars
 #	fi
 #	@echo "Finished configuring..to use, add `pwd`/bin/$(platform) to your PATH."
 
+install-strip:
+	$(MAKE) INSTALL_PROGRAM='$(INSTALL_PROGRAM) -s' install
+
 install ::
 	$(INSTALL_DIR) $(bindir)
 
@@ -24,7 +27,9 @@ install::
 	$(MAKE) -C rts       install      DOING_BIN_DIST=YES
 	$(MAKE) -C libraries install      DOING_BIN_DIST=YES
 	$(MAKE) -C compiler  install      DOING_BIN_DIST=YES
+	$(MAKE) -C gmp       install      DOING_BIN_DIST=YES
 	$(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)
 
 install :: postinstall denounce