X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=gmp%2FMakefile;h=13faf9f17075ca318c3857d1825b844ec139f001;hb=ea56c4863d14e1ceaaa36ecf407f079ab675a231;hp=71cdb49508a724910e505ecbe9c8b7a78f7607e2;hpb=601f193a8d87adebe378e75e8cfbb968325a2cca;p=ghc-hetmet.git

diff --git a/gmp/Makefile b/gmp/Makefile
index 71cdb49..13faf9f 100644
--- a/gmp/Makefile
+++ b/gmp/Makefile
@@ -12,10 +12,13 @@ include $(TOP)/mk/boilerplate.mk
 ifneq "$(HaveLibGmp)" "YES"
 ifneq "$(HaveFrameworkGMP)" "YES"
 
-boot :: stamp.gmp.static
-
 PLATFORM := $(shell echo $(HOSTPLATFORM) | sed 's/i[567]86/i486/g')
 
+# 2007-09-26
+#     set -o igncr 
+# is not a valid command on non-Cygwin-systems.
+# Let it fail silently instead of aborting the build.
+#
 # 2007-07-05
 # We do
 #     set -o igncr; export SHELLOPTS
@@ -41,12 +44,26 @@ else
 BUILD_SHARED=no
 endif
 
+boot :: stamp.gmp.static
+all :: gmp.h libgmp.a
+install :: gmp.h libgmp.a
+INSTALL_HEADERS += gmp.h
+INSTALL_LIBS += libgmp.a
+
+ifeq "$(BUILD_SHARED)" "yes"
+boot :: stamp.gmp.shared
+all :: libgmp-3.dll libgmp.dll.a
+install :: libgmp-3.dll libgmp.dll.a
+INSTALL_LIBS += libgmp.dll.a
+INSTALL_PROGS += libgmp-3.dll
+endif
+
 stamp.gmp.static:
 	$(RM) -rf $(GMP_DIR) gmpbuild
 	$(TAR) -zxf $(GMP_TARBALL)
 	mv $(GMP_DIR) gmpbuild
 	chmod +x ln
-	set -o igncr; export SHELLOPTS; \
+	(set -o igncr 2>/dev/null) && set -o igncr; export SHELLOPTS; \
 	    export PATH=`pwd`:$$PATH; \
 	    cd gmpbuild && \
 	    CC=$(WhatGccIsCalled) $(SHELL) configure \
@@ -58,46 +75,39 @@ stamp.gmp.shared:
 	$(TAR) -zxf $(GMP_TARBALL)
 	mv $(GMP_DIR) gmpbuild-shared
 	chmod +x ln
-	set -o igncr; export SHELLOPTS; \
+	(set -o igncr 2>/dev/null) && set -o igncr; export SHELLOPTS; \
 	    export PATH=`pwd`:$$PATH; \
 	    cd gmpbuild-shared && \
 	    CC=$(WhatGccIsCalled) $(SHELL) configure \
 	          --enable-shared=yes --disable-static --host=$(PLATFORM) --build=$(PLATFORM)
 	touch $@
 
+gmp.h: stamp.gmp.static
+	$(CP) gmpbuild/gmp.h .
+
 libgmp.a: stamp.gmp.static
 	$(MAKE) -C gmpbuild MAKEFLAGS=
 	$(CP) gmpbuild/.libs/libgmp.a .
 	$(RANLIB) libgmp.a
 
-all :: libgmp.a
-
-install :: libgmp.a
-
-INSTALL_LIBS += libgmp.a
-
-ifeq "$(BUILD_SHARED)" "yes"
 libgmp-3.dll: stamp.gmp.shared
 	$(MAKE) -C gmpbuild-shared MAKEFLAGS=
 	$(CP) gmpbuild-shared/.libs/libgmp-3.dll .
 
 libgmp.dll.a: libgmp-3.dll
 	$(CP) gmpbuild-shared/.libs/libgmp.dll.a .
-
-all :: libgmp-3.dll libgmp.dll.a
-
-install :: libgmp-3.dll libgmp.dll.a
-
-INSTALL_LIBS += libgmp.dll.a
-INSTALL_PROGS += libgmp-3.dll
-endif
 endif
 endif
 
+# GMP takes a long time to build, but changes rarely.  Hence we don't
+# bother cleaning it before validating, because that adds a
+# significant overhead to validation.
+ifeq "$(Validating)" "NO"
 clean distclean maintainer-clean ::
 	$(RM) -f stamp.gmp.static stamp.gmp.shared
 	$(RM) -rf gmpbuild
 	$(RM) -rf gmpbuild-shared
+endif
 
 #-----------------------------------------------------------------------------
 #
@@ -118,6 +128,9 @@ endif
 ifneq "$(INSTALL_LIBS)" ""
 	$(INSTALL_DATA)    $(INSTALL_LIBS)     $(BIN_DIST_DIR)/gmp/
 endif
+ifneq "$(INSTALL_HEADERS)" ""
+	$(INSTALL_HEADER)  $(INSTALL_HEADERS)  $(BIN_DIST_DIR)/gmp/
+endif
 
 endif
 endif