Make some header-installing machinery, and use it to install gmp.h

[ghc-hetmet.git] / mk / install.mk

diff --git a/mk/install.mk b/mk/install.mk
index 61de7a5..75d0569 100644 (file)
--- 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)