external
/
citus
mirror of https://github.com/citusdata/citus.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Makefile fix DESTDIR together with cleanup (#3342) 

This should fix this build issue: redmine.postgresql.org/issues/5032
pull/3346/head
Jelte Fennema 2019-12-27 10:34:57 +01:00 committed by GitHub
parent e91755f73c
commit 7642928be1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Makefile
View File

@ -17,7 +17,6 @@ all: extension
extension: $(citus_top_builddir)/src/include/citus_version.h
$(MAKE) -C src/backend/distributed/ all
install-extension: extension
rm -f $(extension_dir)/citus*
$(MAKE) -C src/backend/distributed/ install
install-headers: extension
$(MKDIR_P) '$(DESTDIR)$(includedir_server)/distributed/'

5
src/backend/distributed/Makefile
View File

@ -62,3 +62,8 @@ check-sql-snapshots:
latest_snapshot=$$(ls $$f | { grep -v latest.sql || true; } | sort -V | tail -n 1); \
diff -u $$f/latest.sql $$f/$$latest_snapshot; \
done'
cleanup-before-install:
rm -f $(DESTDIR)$(datadir)/$(datamoduledir)/citus*
install: cleanup-before-install