diff options
author | Michael I. Bushnell <mib@gnu.org> | 1996-07-18 04:41:04 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1996-07-18 04:41:04 +0000 |
commit | f90a916712fcc4cf6ef022102b34fd95ec07a971 (patch) | |
tree | 2792b046c8d32ad4dcf20edd69fb0a7c73de46ce | |
parent | 94cef36797600d11a50d09828fa80df8a73dfd1c (diff) |
*** empty log message ***
-rw-r--r-- | ChangeLog | 6 | ||||
-rw-r--r-- | Makeconf | 7 |
2 files changed, 11 insertions, 2 deletions
@@ -1,3 +1,9 @@ +Thu Jul 18 00:40:04 1996 Michael I. Bushnell, p/BSG <mib@gnu.ai.mit.edu> + + * Makeconf (install): Depend on $(includedir)/$(installhdrsubdir). + (install-headers): Likewise. + ($(includedir)/$(installhdrsubdir)): New rule. + Wed Jul 17 14:28:29 1996 Michael I. Bushnell, p/BSG <mib@gnu.ai.mit.edu> * Makeconf: gs/install-hdrs/install-headers/g @@ -145,9 +145,12 @@ ifeq ($(makemode),library) all: libs install libs: add-to-librecord add-to-librecord: $(targets) -install: $(addprefix $(libdir)/,$(targets)) $(addprefix $(includedir)/$(installhdrsubdir)/,$(installhdrs)) $(libdir) $(includedir) +install: $(addprefix $(libdir)/,$(targets)) $(addprefix $(includedir)/$(installhdrsubdir)/,$(installhdrs)) $(libdir) $(includedir) $(includedir)/$(installhdrsubdir) -install-headers:$(addprefix $(includedir)/$(installhdrsubdir)/,$(installhdrs)) $(includedir) +install-headers: $(includedir)/$(installhdrsubdir) $(addprefix $(includedir)/$(installhdrsubdir)/,$(installhdrs)) $(includedir) + +$(includedir)/$(installhdrsubdir): + $(MKINSTALLDIRS) $@ # 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 |