blob: 9b9a3e36df7afd5a7f378d77eb16ad7aa82c02a3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
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, true)
PHP_INSTALL_HEADERS(ext/pdo, [php_pdo.h php_pdo_driver.h php_pdo_error.h])
dnl so we always include the known-good working hack.
PHP_ADD_MAKEFILE_FRAGMENT
fi
|
