From 409b8c75ba71fe6f3a7f9ccc094810966ef3a177 Mon Sep 17 00:00:00 2001
From: Peter Eisentraut <peter_e@gmx.net>
Date: Thu, 10 Nov 2011 20:52:54 +0200
Subject: [PATCH] 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.
---
 src/include/Makefile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/include/Makefile b/src/include/Makefile
index fae5925710..35d217cf0c 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'
-- 
2.40.0