diff options
| author | Ian Lynagh <igloo@earth.li> | 2009-01-28 20:07:49 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2009-01-28 20:07:49 +0000 |
| commit | 80ac93dd892acde2d547093ecbf9240f66eb32de (patch) | |
| tree | a14a9ab24696cf4cbcefad38ca66ca5e2e162d6e | |
| parent | 7f1db085b2256e3372feca52d493ca7577413cbe (diff) | |
| download | haskell-80ac93dd892acde2d547093ecbf9240f66eb32de.tar.gz | |
Remove the doc/ contents from the GMP tarball
They are GFDLed, which causes problems for Debian
| -rw-r--r-- | gmp/Makefile | 7 | ||||
| -rw-r--r-- | gmp/gmp-4.2.1-nodoc.tar.gz | bin | 0 -> 1933064 bytes | |||
| -rw-r--r-- | gmp/gmp-4.2.1.tar.gz | bin | 2249464 -> 0 bytes |
3 files changed, 6 insertions, 1 deletions
diff --git a/gmp/Makefile b/gmp/Makefile index 2a9fdcf6c3..78cb5702b5 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 Binary files differnew file mode 100644 index 0000000000..71aa688458 --- /dev/null +++ b/gmp/gmp-4.2.1-nodoc.tar.gz diff --git a/gmp/gmp-4.2.1.tar.gz b/gmp/gmp-4.2.1.tar.gz Binary files differdeleted file mode 100644 index 4ed0e97c2c..0000000000 --- a/gmp/gmp-4.2.1.tar.gz +++ /dev/null |