diff --git a/.laminas-ci/install-mongodb-extension-via-pecl.sh b/.laminas-ci/install-mongodb-extension-via-pecl.sh deleted file mode 100755 index 20580d0..0000000 --- a/.laminas-ci/install-mongodb-extension-via-pecl.sh +++ /dev/null @@ -1,15 +0,0 @@ -#!/bin/bash - -PHP_VERSION="$1" - -if ! [[ "${PHP_VERSION}" =~ 8\.2 ]]; then - echo "mongodb is only installed from pecl for PHP 8.2, ${PHP_VERSION} detected." - exit 0; -fi - -set +e -apt install make - -pecl install mongodb -echo "extension=mongodb.so" > /etc/php/${PHP_VERSION}/mods-available/mongodb.ini -phpenmod -v ${PHP} -s cli mongodb diff --git a/.laminas-ci/pre-install.sh b/.laminas-ci/pre-install.sh deleted file mode 100755 index 75ce90e..0000000 --- a/.laminas-ci/pre-install.sh +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/bash - -WORKING_DIRECTORY=$2 -JOB=$3 -PHP_VERSION=$(echo "${JOB}" | jq -r '.php') - -${WORKING_DIRECTORY}/.laminas-ci/install-mongodb-extension-via-pecl.sh "${PHP_VERSION}" || exit 1