diff options
Diffstat (limited to 'ext/xml/config.w32')
-rw-r--r-- | ext/xml/config.w32 | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/ext/xml/config.w32 b/ext/xml/config.w32 new file mode 100644 index 0000000..4ee0bd1 --- /dev/null +++ b/ext/xml/config.w32 @@ -0,0 +1,19 @@ +// $Id$ +// vim:ft=javascript + +ARG_WITH("xml", "XML support", "yes"); + +if (PHP_XML == "yes") { + if (PHP_LIBXML == "yes" + && ADD_EXTENSION_DEP('xml', 'libxml')) { + EXTENSION("xml", "xml.c compat.c"); + AC_DEFINE("HAVE_XML", 1, "XML support"); + if (!PHP_XML_SHARED) { + ADD_FLAG("CFLAGS_XML", "/D LIBXML_STATIC "); + } + PHP_INSTALL_HEADERS("", "ext/xml"); + } else { + WARNING("xml support can't be enabled, libraries or headers are missing") + PHP_ZLIB = "no" + } +} |