X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=gmp%2FMakefile;h=78cb5702b58abe44c33276eb2ee8242bbf7f753b;hp=2a9fdcf6c3fa4ef3faa5f702e0353d464ccabf73;hb=74e1368d4688ee16f6decdf2cd3ebe27506b26ba;hpb=2de31b61d0a963803eb5632c9659c6093d74f345

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