From 3fc1ec22eaabff7f235c12d49bb67018e3fe35ad Mon Sep 17 00:00:00 2001 From: Anatol Belski Date: Wed, 4 Jan 2017 03:49:39 +0100 Subject: [PATCH] add nmakefile fragment for pdo parser --- ext/pdo/Makefile.frag.w32 | 5 +++++ ext/pdo/config.w32 | 1 + 2 files changed, 6 insertions(+) create mode 100644 ext/pdo/Makefile.frag.w32 diff --git a/ext/pdo/Makefile.frag.w32 b/ext/pdo/Makefile.frag.w32 new file mode 100644 index 0000000000..3e21fad7e4 --- /dev/null +++ b/ext/pdo/Makefile.frag.w32 @@ -0,0 +1,5 @@ + +ext\pdo\pdo_sql_parser.c: ext\pdo\pdo_sql_parser.re + cd $(PHP_SRC_DIR) + $(RE2C) --no-generation-date -o ext/pdo/pdo_sql_parser.c ext/pdo/pdo_sql_parser.re + diff --git a/ext/pdo/config.w32 b/ext/pdo/config.w32 index b026590980..564eab0ca5 100755 --- a/ext/pdo/config.w32 +++ b/ext/pdo/config.w32 @@ -6,5 +6,6 @@ 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); + ADD_MAKEFILE_FRAGMENT(); PHP_INSTALL_HEADERS("ext/pdo", "php_pdo.h php_pdo_driver.h php_pdo_error.h"); } -- 2.50.1