php-src/ext/xmlreader/config.w32

20 lines
619 B
Plaintext
Raw Normal View History

2004-04-20 02:55:02 +08:00
// $Id$
// vim:ft=javascript
ARG_ENABLE("xmlreader", "XMLReader support", "yes");
2004-04-20 02:55:02 +08:00
if (PHP_XMLREADER == "yes" &&
PHP_LIBXML == "yes" &&
CHECK_HEADER_ADD_INCLUDE("libxml/parser.h", "CFLAGS_XMLREADER", PHP_PHP_BUILD + "\\include\\libxml2") &&
CHECK_HEADER_ADD_INCLUDE("libxml/tree.h", "CFLAGS_XMLREADER", PHP_PHP_BUILD + "\\include\\libxml2")
) {
2004-04-20 02:55:02 +08:00
EXTENSION("xmlreader", "php_xmlreader.c");
AC_DEFINE("HAVE_XMLREADER", 1, "XMLReader support");
if (!PHP_XMLREADER_SHARED) {
ADD_FLAG("CFLAGS_XMLREADER", "/D LIBXML_STATIC");
}
ADD_EXTENSION_DEP('xmlreader', 'libxml');
2015-03-23 21:47:07 +08:00
ADD_EXTENSION_DEP('xmlreader', 'dom');
2004-04-20 02:55:02 +08:00
}