public-mirrors
/
docker-php-extension-installer
mirror of https://github.com/mlocati/docker-php-extension-installer
1
0
Fork 0
Code

Add support for Parallel

pull/48/head
Michele Locati 2019-10-11 08:12:46 +02:00
parent a849660d77
commit 2dcf3fcb51
No known key found for this signature in database
GPG Key ID: 98B7CE2E7234E28B
3 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
data/special-requirements
View File

@ -1 +1,2 @@
parallel zts
pthreads zts

1
data/supported-extensions
View File

@ -23,6 +23,7 @@ mysql 5.6
mysqli 5.6 7.0 7.1 7.2 7.3 7.4
odbc 5.6 7.0 7.1 7.2 7.3 7.4
opcache 5.6 7.0 7.1 7.2 7.3 7.4
parallel 7.1 7.2 7.3 7.4
pcntl 5.6 7.0 7.1 7.2 7.3 7.4
pcov 7.0 7.1 7.2 7.3 7.4
pdo_dblib 5.6 7.0 7.1 7.2 7.3 7.4

5
install-php-extensions
View File

@ -440,6 +440,11 @@ installPECLModule () {
installPECLModule_actual="${2}-2.2.0"
fi
;;
parallel)
if test $1 -le 701; then
installPECLModule_actual="${2}-0.8.3"
fi
;;
pcov)
if test $1 -lt 701; then
installPECLModule_actual="${2}-0.9.0"