[web-rmtools] master: Special case Xdebug builds for PHP 7.3

Author: Christoph M. Becker (cmb69) Date: 2021-10-08T12:45:47+02:00 Commit: https://github.com/php/web-rmtools/commit/111384243aab141c654799476c63e2fd58bcca02 Raw diff: https://github.com/php/web-rmtools/commit/111384243aab141c654799476c63e2fd58bcca02.diff Special case Xdebug builds for PHP 7.3 As of Xdebug 3.1.0, the config option --with-xdebug-compression is supported, but that does not work prior to PHP 7.4.20 because gzfwrite is not exported. Thus, we build Xdebug for PHP 7.3 without compression support. Changed paths: M data/config/pecl/exts.ini Diff: diff --git a/data/config/pecl/exts.ini b/data/config/pecl/exts.ini index 8a7456b..2263f1f 100644 --- a/data/config/pecl/exts.ini +++ b/data/config/pecl/exts.ini @@ -751,3 +751,9 @@ libs[]=librdkafka type=enable opts[]=--enable-var_representation=shared no_conf=1 + +[xdebug-7.3] +type=with +opts[]=--with-xdebug=shared +opts[]=--without-xdebug-compression +no_conf=1