From: Ian Lynagh <igloo@earth.li>
Date: Wed, 28 Jan 2009 20:07:49 +0000 (+0000)
Subject: Remove the doc/ contents from the GMP tarball
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=80ac93dd892acde2d547093ecbf9240f66eb32de

Remove the doc/ contents from the GMP tarball
They are GFDLed, which causes problems for Debian
---

diff --git a/gmp/Makefile b/gmp/Makefile
index 2a9fdcf..78cb570 100644
--- a/gmp/Makefile
+++ b/gmp/Makefile
@@ -34,8 +34,13 @@ PLATFORM := $(shell echo $(HOSTPLATFORM) | sed 's/i[567]86/i486/g')
 # follow, as it isn't used consistently. Instead we put an ln.bat in
 # path that always fails.
 
+# We use a tarball like gmp-4.2.1-nodoc.tar.gz, which is
+# gmp-4.2.1.tar.gz repacked without the doc/ directory contents.
+# That's because the doc/ directory contents are under the GFDL,
+# which causes problems for Debian.
+
 GMP_TARBALL := $(firstword $(wildcard gmp*.tar.gz))
-GMP_DIR := $(subst .tar.gz,,$(GMP_TARBALL))
+GMP_DIR := $(subst -nodoc.tar.gz,,$(GMP_TARBALL))
 
 ifeq "$(findstring dyn, $(GhcRTSWays))" "dyn"
 BUILD_SHARED=yes
diff --git a/gmp/gmp-4.2.1-nodoc.tar.gz b/gmp/gmp-4.2.1-nodoc.tar.gz
new file mode 100644
index 0000000..71aa688
Binary files /dev/null and b/gmp/gmp-4.2.1-nodoc.tar.gz differ
diff --git a/gmp/gmp-4.2.1.tar.gz b/gmp/gmp-4.2.1.tar.gz
deleted file mode 100644
index 4ed0e97..0000000
Binary files a/gmp/gmp-4.2.1.tar.gz and /dev/null differ