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
