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

Merge pull request #48 from mlocati/parallel 

Add support for Parallel
pull/49/head
Michele Locati 2019-10-11 08:22:58 +02:00 committed by GitHub
parent a849660d77 2dcf3fcb51
commit 3ebe4655c8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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"