diff options
Diffstat (limited to 'ext/pdo/config.w32')
| -rwxr-xr-x | ext/pdo/config.w32 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ext/pdo/config.w32 b/ext/pdo/config.w32 index 9fb3801981..c85f2e55e4 100755 --- a/ext/pdo/config.w32 +++ b/ext/pdo/config.w32 @@ -6,4 +6,5 @@ ARG_ENABLE("pdo", "Enable PHP Data Objects support", "no"); if (PHP_PDO != "no") { 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 */); ADD_EXTENSION_DEP('pdo', 'spl', true); + PHP_INSTALL_HEADERS("ext/pdo", "php_pdo.h php_pdo_driver.h"); } |