From dbaac1b2b13f00d18cfea34f2514c58cfbe76102 Mon Sep 17 00:00:00 2001
From: Ian Lynagh <igloo@earth.li>
Date: Thu, 21 May 2009 13:36:14 +0000
Subject: [PATCH] Build and install gmp.h

---
 gmp/ghc.mk | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/gmp/ghc.mk b/gmp/ghc.mk
index 8ae645977a4..3c5190a4e13 100644
--- a/gmp/ghc.mk
+++ b/gmp/ghc.mk
@@ -38,6 +38,7 @@ ifneq "$(HaveLibGmp)" "YES"
 ifneq "$(HaveFrameworkGMP)" "YES"
 
 INSTALL_LIBS += gmp/libgmp.a
+INSTALL_HEADERS += gmp/gmp.h
 
 $(eval $(call all-target,gmp_dynamic,gmp/libgmp.a))
 
@@ -78,9 +79,7 @@ PLATFORM := $(shell echo $(HOSTPLATFORM) | sed 's/i[567]86/i486/g')
 GMP_TARBALL := $(wildcard gmp/tarball/gmp*.tar.bz2)
 GMP_DIR := $(patsubst gmp/tarball/%-nodoc.tar.bz2,%,$(GMP_TARBALL))
 
-# XXX INSTALL_HEADERS += gmp.h
-
-gmp/libgmp.a:
+gmp/libgmp.a gmp/gmp.h:
 	$(RM) -rf $(GMP_DIR) gmp/gmpbuild
 	cd gmp && $(TAR) -jxf ../$(GMP_TARBALL)
 	mv gmp/$(GMP_DIR) gmp/gmpbuild
@@ -92,6 +91,7 @@ gmp/libgmp.a:
 	    CC=$(WhatGccIsCalled) $(SHELL) configure \
 	          --enable-shared=no --host=$(PLATFORM) --build=$(PLATFORM)
 	$(MAKE) -C gmp/gmpbuild MAKEFLAGS=
+	$(CP) gmp/gmpbuild/gmp.h gmp/
 	$(CP) gmp/gmpbuild/.libs/libgmp.a gmp/
 	$(RANLIB) gmp/libgmp.a
 
-- 
GitLab