# 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
BUILD_SHARED=no
endif
-boot :: stamp.gmp.static
BINDIST_STAMPS = stamp.gmp.static
INSTALL_HEADERS += gmp.h
INSTALL_LIBS += libgmp.a
ifeq "$(BUILD_SHARED)" "yes"
-boot :: stamp.gmp.shared
BINDIST_STAMPS += stamp.gmp.shared
INSTALL_LIBS += libgmp.dll.a
INSTALL_PROGS += libgmp-3.dll
include $(TOP)/mk/target.mk
-binary-dist:
- $(INSTALL_DIR) $(BIN_DIST_DIR)/gmp
- $(INSTALL_DATA) Makefile $(BIN_DIST_DIR)/gmp/
-ifneq "$(HaveLibGmp)" "YES"
- ifneq "$(HaveFrameworkGMP)" "YES"
- $(INSTALL_DATA) $(BINDIST_STAMPS) $(BIN_DIST_DIR)/gmp/
- ifneq "$(INSTALL_PROGS)" ""
- $(INSTALL_DATA) $(INSTALL_PROGS) $(BIN_DIST_DIR)/gmp/
- 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
+BINDIST_EXTRAS += $(BINDIST_STAMPS)
+BINDIST_EXTRAS += $(INSTALL_PROGS)
+BINDIST_EXTRAS += $(INSTALL_LIBS)
+BINDIST_EXTRAS += $(INSTALL_HEADERS)
+include $(TOP)/mk/bindist.mk