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.

diff --git a/src/include/Makefile b/src/include/Makefile
index c89960c7d6264fb1ad94d512c4ca34952dd64c2e..00b4eacd9cee3bd1682a03a9a718527cd5a9a921 100644 (file)
--- a/src/include/Makefile
+++ b/src/include/Makefile
@@ -48,6 +48,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'