2004-05-17 15:41:51 +00:00
|
|
|
// $Id$
|
|
|
|
// vim:ft=javascript
|
|
|
|
|
2005-09-24 15:15:13 +00:00
|
|
|
ARG_ENABLE("pdo", "Enable PHP Data Objects support", "no");
|
2004-05-17 15:41:51 +00:00
|
|
|
|
|
|
|
if (PHP_PDO != "no") {
|
2008-07-24 16:05:17 +00:00
|
|
|
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 */);
|
2005-10-04 07:48:43 +00:00
|
|
|
ADD_EXTENSION_DEP('pdo', 'spl', true);
|
2017-01-04 02:49:39 +00:00
|
|
|
ADD_MAKEFILE_FRAGMENT();
|
2014-04-13 06:53:21 +00:00
|
|
|
PHP_INSTALL_HEADERS("ext/pdo", "php_pdo.h php_pdo_driver.h php_pdo_error.h");
|
2004-05-17 15:41:51 +00:00
|
|
|
}
|