diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2011-11-10 20:52:54 +0200 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2011-11-10 20:54:50 +0200 |
| commit | 37e66e75d8697de0fef74dad9cd9ae75845549b2 (patch) | |
| tree | ea98f36358d2f968060ae2db80562755bc7c0fb7 | |
| parent | 0b6a1e8a16842f307e34218c24993c7e67644e8c (diff) | |
Fix server header file installation with vpath builds
Several server header files would not be installed in vpath builds
because they live in the build directory.
| -rw-r--r-- | src/include/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/include/Makefile b/src/include/Makefile index 1bfb4a7166d..56940c8838f 100644 --- a/src/include/Makefile +++ b/src/include/Makefile @@ -49,6 +49,12 @@ install: all installdirs cp $(srcdir)/$$dir/*.h '$(DESTDIR)$(includedir_server)'/$$dir/ || exit; \ chmod $(INSTALL_DATA_MODE) '$(DESTDIR)$(includedir_server)'/$$dir/*.h || exit; \ done +ifeq ($(vpath_build),yes) + for file in dynloader.h catalog/schemapg.h parser/gram.h utils/probes.h; do \ + cp $$file '$(DESTDIR)$(includedir_server)'/$$file || exit; \ + chmod $(INSTALL_DATA_MODE) '$(DESTDIR)$(includedir_server)'/$$file || exit; \ + done +endif installdirs: $(MKDIR_P) '$(DESTDIR)$(includedir)/libpq' '$(DESTDIR)$(includedir_internal)/libpq' |