Bug #80280 [PATCH]: ADD_EXTENSION_DEP() fails for ext/standard and ext/date

Edit report at https://bugs.php.net/bug.php?id=80280&edit=1 ID: 80280 Patch added by: cmb@php.net Reported by: cmb@php.net Summary: ADD_EXTENSION_DEP() fails for ext/standard and ext/date Status: Assigned Type: Bug Package: Compile Failure Operating System: Windows PHP Version: 7.3.23 Assigned To: cmb Block user comment: N Private report: N New Comment: The following pull request has been associated: Patch Name: Fix #80280: ADD_EXTENSION_DEP() fails for ext/standard and ext/date On GitHub: https://github.com/php/php-src/pull/6383 Patch: https://github.com/php/php-src/pull/6383.patch Previous Comments: ------------------------------------------------------------------------ [2020-10-24 14:14:45] cmb@php.net Description: ------------ Extensions are supposed to declare their dependencies on other extensions with (PHP_)ADD_EXTENSION_DEP. While that works fine for ext/standard and ext/date on Linux[1], it fails on Windows[2]. [1] <https://github.com/mongodb/mongo-php-driver/blob/c07159a3c5370f79ee54a8eb44d68db2a53e5829/config.m4#L485-L488> [2] <https://github.com/mongodb/mongo-php-driver/blob/c07159a3c5370f79ee54a8eb44d68db2a53e5829/config.w32#L68-L71> ------------------------------------------------------------------------ -- Edit this bug report at https://bugs.php.net/bug.php?id=80280&edit=1