diff options
author | Michael I. Bushnell <mib@gnu.org> | 1996-07-14 00:54:25 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1996-07-14 00:54:25 +0000 |
commit | 95520e6ff57a58ae82e4877b1ae389aa2011d2a0 (patch) | |
tree | 2e42fd925eb90ef92dc8301b4f30dde1ee0b9d77 /Makeconf | |
parent | 1927cea851e8f9e6153dfc8469f7012ff68a0760 (diff) |
(install-hdrs) [library]: Depend on installed copies of headers.
(install-hdrs): Provide default target.
Diffstat (limited to 'Makeconf')
-rw-r--r-- | Makeconf | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -147,6 +147,8 @@ install libs: add-to-librecord add-to-librecord: $(targets) install: $(addprefix $(libdir)/,$(targets)) $(addprefix $(includedir)/$(installhdrsubdir)/,$(installhdrs)) $(libdir) $(includedir) +install-hdrs:$(addprefix $(includedir)/$(installhdrsubdir)/,$(installhdrs)) $(includedir) + # Arrange to have the headers installed locally anytime we build the library. # Not quite perfect, but at least it does end up getting done; and once done # it never needs to be repeated for a particular header. @@ -174,6 +176,7 @@ endif # Provide default. install: +install-hdrs: # Making installation directories $(installationdirlist): %: |