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 dnl Make sure $PHP_PDO is 'yes' when it's not 'no' :) 9 PHP_PDO=yes 10 11 PHP_NEW_EXTENSION([pdo], 12 [pdo.c pdo_dbh.c pdo_stmt.c pdo_sql_parser.c pdo_sqlstate.c], 13 [$ext_shared]) 14 PHP_ADD_EXTENSION_DEP(pdo, spl) 15 PHP_INSTALL_HEADERS([ext/pdo], m4_normalize([ 16 pdo_sql_parser.h 17 php_pdo_driver.h 18 php_pdo_error.h 19 php_pdo.h 20 ])) 21 PHP_ADD_MAKEFILE_FRAGMENT 22fi 23
