![]() ![]() | ![]() |
php
1: // $Id: config.w32,v 1.1.1.1 2012/02/21 23:47:58 misho Exp $ 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: }