mirror of
https://github.com/php/php-src.git
synced 2026-04-25 08:58:28 +02:00
Peter Kokot
bd7b174044
Since ZEND_MOD_REQUIRED is used and spl can't be disabled, this marks the configure time dependency also as required.
17 lines
491 B
Plaintext
17 lines
491 B
Plaintext
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], [php_pdo.h php_pdo_driver.h php_pdo_error.h])
|
|
PHP_ADD_MAKEFILE_FRAGMENT
|
|
fi
|