diff options
author | Ian Lynagh <igloo@earth.li> | 2007-08-28 12:47:59 +0000 |
---|---|---|
committer | Ian Lynagh <igloo@earth.li> | 2007-08-28 12:47:59 +0000 |
commit | 18e4fea8fcd804d0f164d06aec9f96bb9435a338 (patch) | |
tree | d7474226fc6d65d1a30ff49887fb32b89d5a7fb7 /mk/install.mk | |
parent | 83a8c81a9c000da9bbef3b91572b1820c55ccc19 (diff) | |
download | haskell-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.mk | 8 |
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) |