Bug #80280 [NEW]: ADD_EXTENSION_DEP() fails for ext/standard and ext/date
| From: | cmb@php.net | Date: | Sat, 24 Oct 2020 14:14:45 +0000 |
| Subject: | Bug #80280 [NEW]: ADD_EXTENSION_DEP() fails for ext/standard and ext/date | ||
| Groups: | php.bugs | ||
| Request: | Send a blank email to php-bugs+get-229901@lists.php.net to get a copy of this message | ||
From: cmb
Operating system: Windows
PHP version: 7.3.23
Package: Compile Failure
Bug Type: Bug
Bug description:ADD_EXTENSION_DEP() fails for ext/standard and ext/date
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 bug report at https://bugs.php.net/bug.php?id=80280&edit=1
--
Fix committed: https://bugs.php.net/fix.php?id=80280&r=fixed
Fixed in release: https://bugs.php.net/fix.php?id=80280&r=alreadyfixed
Need backtrace: https://bugs.php.net/fix.php?id=80280&r=needtrace
Need Reproduce Script: https://bugs.php.net/fix.php?id=80280&r=needscript
Try newer version: https://bugs.php.net/fix.php?id=80280&r=oldversion
Not developer issue: https://bugs.php.net/fix.php?id=80280&r=support
Expected behavior: https://bugs.php.net/fix.php?id=80280&r=notwrong
Not enough info: https://bugs.php.net/fix.php?id=80280&r=notenoughinfo
Submitted twice: https://bugs.php.net/fix.php?id=80280&r=submittedtwice
register_globals: https://bugs.php.net/fix.php?id=80280&r=globals
PHP version support discontinued: https://bugs.php.net/fix.php?id=80280&r=phptooold
Daylight Savings: https://bugs.php.net/fix.php?id=80280&r=dst
IIS Stability: https://bugs.php.net/fix.php?id=80280&r=isapi
Install GNU Sed: https://bugs.php.net/fix.php?id=80280&r=gnused
Floating point limitations: https://bugs.php.net/fix.php?id=80280&r=float
No Zend Extensions: https://bugs.php.net/fix.php?id=80280&r=nozend
MySQL Configuration Error: https://bugs.php.net/fix.php?id=80280&r=mysqlcfg