mirror of
https://github.com/php/php-src.git
synced 2025-08-15 13:38:49 +02:00
a57ce052cd
This is, as the name and a comment in the header imply, an internal header which is not supposed to be used by extensions other than PDO (not even by drivers). Since there is apparently no need to include this header in the parsers of the drivers, we remove these includes, and no longer declare the header to be installed. Given that the header is only exported for a couple of weeks[1], this is not considered to be a BC break, because it's unlikely that external drivers have already been adjusted to use this header, and otherwise they can still be fixed; PHP 8.4 is still in the pre-release stage. [1] <https://github.com/php/php-src/pull/14797> Closes GH-15688.
22 lines
555 B
Text
22 lines
555 B
Text
PHP_ARG_ENABLE([pdo],
|
|
[whether to enable PDO support],
|
|
[AS_HELP_STRING([--disable-pdo],
|
|
[Disable PHP Data Objects support])],
|
|
[yes])
|
|
|
|
if test "$PHP_PDO" != "no"; then
|
|
dnl Make sure $PHP_PDO is 'yes' when it's not 'no' :)
|
|
PHP_PDO=yes
|
|
|
|
PHP_NEW_EXTENSION([pdo],
|
|
[pdo.c pdo_dbh.c pdo_stmt.c pdo_sql_parser.c pdo_sqlstate.c],
|
|
[$ext_shared])
|
|
PHP_ADD_EXTENSION_DEP(pdo, spl)
|
|
PHP_INSTALL_HEADERS([ext/pdo], m4_normalize([
|
|
pdo_sql_parser.h
|
|
php_pdo_driver.h
|
|
php_pdo_error.h
|
|
php_pdo.h
|
|
]))
|
|
PHP_ADD_MAKEFILE_FRAGMENT
|
|
fi
|