Sync spl extension dependency for mysqli extension (#14642)

This is configure time dependency for consistency.
This commit is contained in:
Peter Kokot 2024-06-23 23:15:47 +02:00 committed by GitHub
parent 8eb0889d90
commit fc36d0e849
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 2 additions and 0 deletions

View file

@ -66,4 +66,5 @@ if test "$PHP_MYSQLI" != "no"; then
PHP_NEW_EXTENSION(mysqli, $mysqli_sources, $ext_shared,, -DZEND_ENABLE_STATIC_TSRMLS_CACHE=1) PHP_NEW_EXTENSION(mysqli, $mysqli_sources, $ext_shared,, -DZEND_ENABLE_STATIC_TSRMLS_CACHE=1)
PHP_INSTALL_HEADERS([ext/mysqli], [php_mysqli_structs.h mysqli_mysqlnd.h]) PHP_INSTALL_HEADERS([ext/mysqli], [php_mysqli_structs.h mysqli_mysqlnd.h])
PHP_ADD_EXTENSION_DEP(mysqli, mysqlnd) PHP_ADD_EXTENSION_DEP(mysqli, mysqlnd)
PHP_ADD_EXTENSION_DEP(mysqli, spl)
fi fi

View file

@ -22,6 +22,7 @@ if (PHP_MYSQLI != "no") {
if (PHP_MYSQLI != "no") { if (PHP_MYSQLI != "no") {
EXTENSION("mysqli", mysqli_source, PHP_MYSQLI_SHARED, "/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1"); EXTENSION("mysqli", mysqli_source, PHP_MYSQLI_SHARED, "/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1");
ADD_EXTENSION_DEP('mysqli', 'mysqlnd'); ADD_EXTENSION_DEP('mysqli', 'mysqlnd');
ADD_EXTENSION_DEP('mysqli', 'spl');
PHP_INSTALL_HEADERS("ext/mysqli", "php_mysqli_structs.h mysqli_mysqlnd.h"); PHP_INSTALL_HEADERS("ext/mysqli", "php_mysqli_structs.h mysqli_mysqlnd.h");
} }
} }