public-mirrors/docker-php-extension-installer
1
0
Fork 0
mirror of https://github.com/mlocati/docker-php-extension-installer synced 2025-05-09 00:22:40 +00:00
Code Activity

Support more extensions for PHP 5.5

Browse source
This commit is contained in:
Michele Locati 2020-01-31 16:35:43 +01:00
parent 824df31044
commit 56d8a624f0
No known key found for this signature in database
GPG key ID: 98B7CE2E7234E28B
2 changed files with 11 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

18
install-php-extensions
View file

@ -829,14 +829,12 @@ installBundledModule() {
fi
;;
gmp)
case "$1" in
506)
if ! test -f /usr/include/gmp.h; then
ln -s /usr/include/x86_64-linux-gnu/gmp.h /usr/include/gmp.h
UNNEEDED_PACKAGE_LINKS="$UNNEEDED_PACKAGE_LINKS /usr/include/gmp.h"
fi
;;
esac
if test $1 -le 506; then
if ! test -f /usr/include/gmp.h; then
ln -s /usr/include/x86_64-linux-gnu/gmp.h /usr/include/gmp.h
UNNEEDED_PACKAGE_LINKS="$UNNEEDED_PACKAGE_LINKS /usr/include/gmp.h"
fi
fi
;;
imap)
case "$(getDistroVersion)" in
@ -923,7 +921,9 @@ installBundledModule() {
esac
;;
zip)
if test $1 -le 703; then
if test $1 -le 505; then
docker-php-ext-configure zip
elif test $1 -le 703; then
docker-php-ext-configure zip --with-libzip
else
docker-php-ext-configure zip --with-zip