release/src/router/php/ext/pdo/config.w32

   1 // $Id$
   2 // vim:ft=javascript
   3
   4 ARG_ENABLE("pdo", "Enable PHP Data Objects support", "no");
   5
   6 if (PHP_PDO != "no") {
   7         EXTENSION('pdo', 'pdo.c pdo_dbh.c pdo_stmt.c pdo_sql_parser.c pdo_sqlstate.c', false /* force static, PHP_PDO_SHARED is broken yet somehow */);
   8         ADD_EXTENSION_DEP('pdo', 'spl', true);
   9         PHP_INSTALL_HEADERS("ext/pdo", "php_pdo.h php_pdo_driver.h");
  10 }