aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPeter Eisentraut <peter_e@gmx.net>2011-11-10 20:52:54 +0200
committerPeter Eisentraut <peter_e@gmx.net>2011-11-10 20:54:50 +0200
commit37e66e75d8697de0fef74dad9cd9ae75845549b2 (patch)
treeea98f36358d2f968060ae2db80562755bc7c0fb7
parent0b6a1e8a16842f307e34218c24993c7e67644e8c (diff)
downloadpostgresql-37e66e75d8697de0fef74dad9cd9ae75845549b2.tar.gz
postgresql-37e66e75d8697de0fef74dad9cd9ae75845549b2.zip
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/Makefile6
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'