summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPeter Eisentraut2011-11-10 18:52:54 +0000
committerPeter Eisentraut2011-11-10 18:52:54 +0000
commit409b8c75ba71fe6f3a7f9ccc094810966ef3a177 (patch)
tree95563208a121b2de5181e97d7eec6a34f56aefbd
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.
-rw-r--r--src/include/Makefile6
1 files changed, 6 insertions, 0 deletions
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'