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

From: 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

« previous php.bugs (#229901) next »