xref: /PHP-8.3/ext/pdo/config.m4 (revision 94421e57)
1PHP_ARG_ENABLE([pdo],
2  [whether to enable PDO support],
3  [AS_HELP_STRING([--disable-pdo],
4    [Disable PHP Data Objects support])],
5  [yes])
6
7if test "$PHP_PDO" != "no"; then
8
9  dnl Make sure $PHP_PDO is 'yes' when it's not 'no' :)
10  PHP_PDO=yes
11
12  PHP_NEW_EXTENSION(pdo, pdo.c pdo_dbh.c pdo_stmt.c pdo_sql_parser.c pdo_sqlstate.c, $ext_shared)
13  PHP_ADD_EXTENSION_DEP(pdo, spl, true)
14  PHP_INSTALL_HEADERS(ext/pdo, [php_pdo.h php_pdo_driver.h php_pdo_error.h])
15
16  dnl so we always include the known-good working hack.
17  PHP_ADD_MAKEFILE_FRAGMENT
18fi
19