X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=gmp%2FMakefile;h=ab661d9f13c8fe0fed611ee44f021c6018e6e086;hb=8612b9a9f60161f65e656f65df8b679008911b3a;hp=b3b8104d8aec592356e6e61b83b13f9f66a885ea;hpb=730388fc60655b63a9491a1cafa236fea097516c;p=ghc-hetmet.git

diff --git a/gmp/Makefile b/gmp/Makefile
index b3b8104..ab661d9 100644
--- a/gmp/Makefile
+++ b/gmp/Makefile
@@ -45,18 +45,18 @@ BUILD_SHARED=no
 endif
 
 boot :: stamp.gmp.static
+BINDIST_STAMPS = stamp.gmp.static
 INSTALL_HEADERS += gmp.h
 INSTALL_LIBS += libgmp.a
 
 ifeq "$(BUILD_SHARED)" "yes"
 boot :: stamp.gmp.shared
+BINDIST_STAMPS += stamp.gmp.shared
 INSTALL_LIBS += libgmp.dll.a
 INSTALL_PROGS += libgmp-3.dll
 endif
 
-ifneq "$(DOING_BIN_DIST)" "YES"
 install all :: $(INSTALL_HEADERS) $(INSTALL_LIBS) $(INSTALL_PROGS)
-endif
 
 stamp.gmp.static:
 	$(RM) -rf $(GMP_DIR) gmpbuild
@@ -120,6 +120,7 @@ binary-dist:
 	$(INSTALL_DATA)    Makefile            $(BIN_DIST_DIR)/gmp/
 ifneq "$(HaveLibGmp)" "YES"
  ifneq "$(HaveFrameworkGMP)" "YES"
+	$(INSTALL_DATA)    $(BINDIST_STAMPS)   $(BIN_DIST_DIR)/gmp/
   ifneq "$(INSTALL_PROGS)" ""
 	$(INSTALL_DATA)    $(INSTALL_PROGS)    $(BIN_DIST_DIR)/gmp/
   endif