summaryrefslogtreecommitdiff
path: root/src/include/Makefile
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:52:54 +0200
commit409b8c75ba71fe6f3a7f9ccc094810966ef3a177 (patch)
tree95563208a121b2de5181e97d7eec6a34f56aefbd /src/include/Makefile
parentd5873b635989e0b780c1c9f07139dfebf0f5e546 (diff)
downloadpostgresql-409b8c75ba71fe6f3a7f9ccc094810966ef3a177.tar.gz
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/include/Makefile')
-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'