diff options
Diffstat (limited to 'ext/dom/config.w32')
| -rw-r--r-- | ext/dom/config.w32 | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/ext/dom/config.w32 b/ext/dom/config.w32 index 0e8e12bb9a..14a6c4676b 100644 --- a/ext/dom/config.w32 +++ b/ext/dom/config.w32 @@ -4,7 +4,10 @@ ARG_WITH("dom", "DOM support", "yes"); if (PHP_DOM == "yes") { - if (PHP_LIBXML == "yes" && ADD_EXTENSION_DEP('dom', 'libxml')) { + if (PHP_LIBXML == "yes" && + ADD_EXTENSION_DEP('dom', 'libxml') && + CHECK_HEADER_ADD_INCLUDE("libxml/parser.h", "CFLAGS_DOM", PHP_PHP_BUILD + "\\include\\libxml2") + ) { EXTENSION("dom", "php_dom.c attr.c document.c domerrorhandler.c \ domstringlist.c domexception.c namelist.c processinginstruction.c \ cdatasection.c documentfragment.c domimplementation.c element.c \ |