summaryrefslogtreecommitdiff
path: root/mk/install.mk
diff options
context:
space:
mode:
authorIan Lynagh <igloo@earth.li>2007-08-28 12:47:59 +0000
committerIan Lynagh <igloo@earth.li>2007-08-28 12:47:59 +0000
commit18e4fea8fcd804d0f164d06aec9f96bb9435a338 (patch)
treed7474226fc6d65d1a30ff49887fb32b89d5a7fb7 /mk/install.mk
parent83a8c81a9c000da9bbef3b91572b1820c55ccc19 (diff)
downloadhaskell-18e4fea8fcd804d0f164d06aec9f96bb9435a338.tar.gz
Make some header-installing machinery, and use it to install gmp.h
Diffstat (limited to 'mk/install.mk')
-rw-r--r--mk/install.mk8
1 files changed, 8 insertions, 0 deletions
diff --git a/mk/install.mk b/mk/install.mk
index 61de7a5663..75d0569e3c 100644
--- a/mk/install.mk
+++ b/mk/install.mk
@@ -243,6 +243,14 @@ install:: $(INSTALL_DATAS)
done
endif
+ifneq "$(strip $(INSTALL_HEADERS))" ""
+install:: $(INSTALL_HEADERS)
+ @$(INSTALL_DIR) $(headerdir)
+ for i in $(INSTALL_HEADERS); do \
+ $(INSTALL_HEADER) $(INSTALL_OPTS) $$i $(headerdir); \
+ done
+endif
+
ifneq "$(strip $(INSTALL_IFACES))" ""
install:: $(INSTALL_IFACES)
@$(INSTALL_DIR) $(ifacedir)