summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorPeter Eisentraut2011-11-10 18:52:54 +0000
committerPeter Eisentraut2011-11-10 18:52:54 +0000
commit409b8c75ba71fe6f3a7f9ccc094810966ef3a177 (patch)
tree95563208a121b2de5181e97d7eec6a34f56aefbd /src
parentd5873b635989e0b780c1c9f07139dfebf0f5e546 (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.
Diffstat (limited to 'src')
-rw-r--r--src/include/Makefile6
1 files changed, 6 insertions, 0 deletions
diff --git a/src/include/Makefile b/src/include/Makefile
index fae59257108..35d217cf0c1 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'