set -eu # Exit on error and treat unset variables as errors

cd "$WORK_DIR"

if [ -z "${PHP_VERSION:-}" ]; then

echo "Error: PHP version not specified. Make sure to pass it as an environment variable."

exit 1

export DEBIAN_FRONTEND=noninteractive

apt-get update -y

apt-get install -y sudo software-properties-common wget curl git python3 python3-pip

sudo ln -s /usr/bin/python3 /usr/bin/python

sudo apt-get -qq remove "php*-cli" "php*-dev"

sudo apt-get -qq remove "swig*"

add-apt-repository ppa:ondrej/php -y

LC_ALL=C.UTF-8 add-apt-repository ppa:ondrej/php -y

sudo apt-get -qq update

sudo apt-get -qq install php"${PHP_VERSION}"-cli php"${PHP_VERSION}"-dev php"${PHP_VERSION}"-mbstring php"${PHP_VERSION}"-xml php"${PHP_VERSION}"-pcov

ci/ubuntu/setup.sh

export CC="ccache gcc"

export CXX="ccache g++"

make cmakebuild_mapscript_php

echo "PHP includes"

php-config --includes

cd "$WORK_DIR"

make php-testcase

echo "Done!"