diff options
Diffstat (limited to 'ext/dom/config.w32')
| -rw-r--r-- | ext/dom/config.w32 | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/ext/dom/config.w32 b/ext/dom/config.w32 new file mode 100644 index 0000000..cbe15af --- /dev/null +++ b/ext/dom/config.w32 @@ -0,0 +1,27 @@ +// $Id$ +// vim:ft=javascript + +ARG_WITH("dom", "DOM support", "yes"); + +if (PHP_DOM == "yes") { + if (PHP_LIBXML == "yes" && ADD_EXTENSION_DEP('dom', 'libxml')) { + 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 \ + node.c string_extend.c characterdata.c documenttype.c \ + domimplementationlist.c entity.c nodelist.c text.c comment.c \ + domconfiguration.c domimplementationsource.c entityreference.c \ + notation.c xpath.c dom_iterators.c typeinfo.c domerror.c \ + domlocator.c namednodemap.c userdatahandler.c"); + + AC_DEFINE("HAVE_DOM", 1, "DOM support"); + + if (!PHP_DOM_SHARED) { + ADD_FLAG("CFLAGS_DOM", "/D LIBXML_STATIC "); + } + PHP_INSTALL_HEADERS("ext/dom", "xml_common.h"); + } else { + WARNING("dom support can't be enabled, libxml is not enabled") + PHP_DOM = "no" + } +} |