Bug #80280 [Asn->Csd]: ADD_EXTENSION_DEP() fails for ext/standard and ext/date

From: Date: Mon, 26 Oct 2020 10:07:13 +0000
Subject: Bug #80280 [Asn->Csd]: ADD_EXTENSION_DEP() fails for ext/standard and ext/date
References: 1  Groups: php.bugs 
Request: Send a blank email to php-bugs+get-229923@lists.php.net to get a copy of this message 
Edit report at https://bugs.php.net/bug.php?id=80280&edit=1

 ID:                 80280
 Updated by:         cmb@php.net
 Reported by:        cmb@php.net
 Summary:            ADD_EXTENSION_DEP() fails for ext/standard and
                     ext/date
-Status:             Assigned
+Status:             Closed
 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:

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


Previous Comments:
------------------------------------------------------------------------
[2020-10-24 14:20:56] 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-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

Thread (3 messages)

« previous php.bugs (#229923) next »