Merge pull request #154 from mlocati/mongodb-1.8.0

Fix installing mongodb with PHP 5.6
pull/155/head
Michele Locati 2020-07-31 18:34:41 +02:00 committed by GitHub
commit 8d4276126b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions

View File

@ -1125,6 +1125,8 @@ installPECLModule() {
mongodb)
if test $PHP_MAJMIN_VERSION -le 505; then
installPECLModule_actual="$1-1.5.5"
elif test $PHP_MAJMIN_VERSION -le 506; then
installPECLModule_actual="$1-1.7.5"
fi
;;
msgpack)
@ -1331,6 +1333,7 @@ installPECLModule() {
if test "$1" != "$installPECLModule_actual"; then
printf ' (installing version %s)\n' "$installPECLModule_actual"
fi
pecl channel-update pecl.php.net || true
printf "$installPECLModule_stdin" | pecl install "$installPECLModule_actual"
fi
case "$1" in