2019-03-03 15:44:16 +00:00
|
|
|
PHP_ARG_ENABLE([pdo],
|
|
|
|
[whether to enable PDO support],
|
|
|
|
[AS_HELP_STRING([--disable-pdo],
|
|
|
|
[Disable PHP Data Objects support])],
|
|
|
|
[yes])
|
2004-05-17 15:41:51 +00:00
|
|
|
|
|
|
|
if test "$PHP_PDO" != "no"; then
|
2005-05-06 22:58:42 +00:00
|
|
|
|
2008-07-25 13:46:24 +00:00
|
|
|
dnl Make sure $PHP_PDO is 'yes' when it's not 'no' :)
|
|
|
|
PHP_PDO=yes
|
|
|
|
|
2005-01-07 05:23:10 +00:00
|
|
|
PHP_NEW_EXTENSION(pdo, pdo.c pdo_dbh.c pdo_stmt.c pdo_sql_parser.c pdo_sqlstate.c, $ext_shared)
|
2019-07-14 20:24:21 +00:00
|
|
|
PHP_ADD_EXTENSION_DEP(pdo, spl, true)
|
|
|
|
PHP_INSTALL_HEADERS(ext/pdo, [php_pdo.h php_pdo_driver.h php_pdo_error.h])
|
2005-09-11 19:44:26 +00:00
|
|
|
|
|
|
|
dnl so we always include the known-good working hack.
|
|
|
|
PHP_ADD_MAKEFILE_FRAGMENT
|
2004-05-17 15:41:51 +00:00
|
|
|
fi
|