From e85e5bf39a3afa9f75b8408cf75b68cf0a8c92e9 Mon Sep 17 00:00:00 2001 From: Adam Hendel Date: Thu, 28 Dec 2023 13:46:25 -0500 Subject: [PATCH] Allow overriding of pg_config (#589) Allow user to override the pg_config using in Makefile. For example: ```bash PG_CONFIG = /path/to/my/pg_config make install ``` --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index ac080b7..c4a8694 100644 --- a/Makefile +++ b/Makefile @@ -2,7 +2,7 @@ EXTENSION = pg_partman EXTVERSION = $(shell grep default_version $(EXTENSION).control | \ sed -e "s/default_version[[:space:]]*=[[:space:]]*'\([^']*\)'/\1/") -PG_CONFIG = pg_config +PG_CONFIG ?= pg_config PG_VER = $(shell $(PG_CONFIG) --version | sed "s/^[^ ]* \([0-9]*\).*$$/\1/" 2>/dev/null) PG_VER_min = 14