summaryrefslogtreecommitdiff
path: root/Makeconf
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1996-07-14 00:54:25 +0000
committerMichael I. Bushnell <mib@gnu.org>1996-07-14 00:54:25 +0000
commit95520e6ff57a58ae82e4877b1ae389aa2011d2a0 (patch)
tree2e42fd925eb90ef92dc8301b4f30dde1ee0b9d77 /Makeconf
parent1927cea851e8f9e6153dfc8469f7012ff68a0760 (diff)
(install-hdrs) [library]: Depend on installed copies of headers.
(install-hdrs): Provide default target.
Diffstat (limited to 'Makeconf')
-rw-r--r--Makeconf3
1 files changed, 3 insertions, 0 deletions
diff --git a/Makeconf b/Makeconf
index 14ccdc2e..2f4f9572 100644
--- a/Makeconf
+++ b/Makeconf
@@ -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): %: