1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
#!/bin/bash
set -eux
export PGDATABASE=postgres
for PGVERSION in ${*:-13 12 11 10 9.6 9.5 9.4}; do
echo
echo "### $PGVERSION ###"
PG_CONFIG=/usr/lib/postgresql/$PGVERSION/bin/pg_config
export PGCLUSTER="$PGVERSION/main"
export PGPORT="54${PGVERSION/./}"
[ "$PGVERSION" = "12" ] && unset PGPORT # default version
make clean
make PG_CONFIG=$PG_CONFIG PROFILE="-Werror"
sudo make install PG_CONFIG=$PG_CONFIG
psql -c "DROP EXTENSION IF EXISTS numeral CASCADE"
if ! make installcheck REGRESS_OPTS="--use-existing --dbname=postgres" PG_CONFIG=$PG_CONFIG; then
cat regression.diffs
exit 1
fi
done
|
