php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login

go to bug id or search bugs for

Bug #80280 ADD_EXTENSION_DEP() fails for ext/standard and ext/date
Submitted: 2020-10-24 14:14 UTC Modified: 2020-10-24 14:14 UTC
From: cmb@php.net Assigned: cmb (profile)
Status: Closed Package: Compile Failure
PHP Version: 7.3.23 OS: Windows
Private report: No CVE-ID: None
View Developer Edit
 [2020-10-24 14:14 UTC] 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>

Patches

Pull Requests

Pull requests:

History

AllCommentsChangesGit/SVN commitsRelated reports
 [2020-10-24 14:14 UTC] cmb@php.net
-Assigned To: +Assigned To: cmb
 [2020-10-24 14:20 UTC] cmb@php.net 
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
 [2020-10-26 10:07 UTC] cmb@php.net 
Automatic comment on behalf of cmbecker69@gmx.de
Revision: http://git.php.net/?p=php-src.git;a=commit;h=2be27074b6e165d8d3e282150d02aa8abfcfec5e
Log: Fix #80280: ADD_EXTENSION_DEP() fails for ext/standard and ext/date
 [2020-10-26 10:07 UTC] cmb@php.net
-Status: Assigned +Status: Closed
 
PHP Copyright © 2001-2024 The PHP Group
All rights reserved. 		Last updated: Thu Nov 21 08:01:29 2024 UTC