diff options
| -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 |