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

Add support for xdiff (#579)

Browse source
This commit is contained in:
Michele Locati 2022-05-26 09:10:38 +02:00 • committed by GitHub
parent 7e40eb8c5f
commit 2367aeb690
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 21 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

15
install-php-extensions
View file

@ -3244,6 +3244,21 @@ installRemoteModule() {
fi
fi
;;
xdiff)
if test -z "$installRemoteModule_version"; then
if test $PHP_MAJMIN_VERSION -le 506; then
installRemoteModule_version=1.5.2
fi
fi
if ! test -f /usr/local/lib/libxdiff.* && ! test -f /usr/lib/libxdiff.* && ! test -f /usr/lib/x86_64*/libxdiff.*; then
installRemoteModule_src="$(getPackageSource http://www.xmailserver.org/libxdiff-0.23.tar.gz)"
cd -- "$installRemoteModule_src"
./configure --disable-shared --disable-dependency-tracking --with-pic
make -j$(getProcessorCount)
make install
cd - >/dev/null
fi
;;
xhprof)
if test -z "$installRemoteModule_version"; then
if test $PHP_MAJMIN_VERSION -le 506; then