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

skip version check for pg15 in CI

nils/version-15
Nils Dijk 2022-05-03 15:14:54 +02:00
parent 2b0e3376d0
commit 82d473e952
No known key found for this signature in database
GPG Key ID: CA1177EF9434F241
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
ci/build-citus.sh
View File

@ -10,6 +10,12 @@ source ci/ci_helpers.sh
# read pg major version, error if not provided
PG_MAJOR=${PG_MAJOR:?please provide the postgres major version}
EXTRA_CONFIGURE_FLAGS=
if [ $PG_MAJOR -eq 15 ]
then
EXTRA_CONFIGURE_FLAGS+='--without-pg-version-check'
fi
# get codename from release file
. /etc/os-release
codename=${VERSION#*(}
@ -33,7 +39,7 @@ build_ext() {
# do everything in a subdirectory to avoid clutter in current directory
mkdir -p "${builddir}" && cd "${builddir}"
CFLAGS=-Werror "${basedir}/configure" PG_CONFIG="/usr/lib/postgresql/${pg_major}/bin/pg_config" --enable-coverage --with-security-flags
CFLAGS=-Werror "${basedir}/configure" PG_CONFIG="/usr/lib/postgresql/${pg_major}/bin/pg_config" --enable-coverage --with-security-flags $EXTRA_CONFIGURE_FLAGS
installdir="${builddir}/install"
make -j$(nproc) && mkdir -p "${installdir}" && { make DESTDIR="${installdir}" install-all || make DESTDIR="${installdir}" install ; }