mirror of
https://github.com/php/php-src.git
synced 2026-04-01 13:12:16 +02:00
dd4e2ef5b0
- ext/dom is optional (using HAVE_DOM for cases when dom is build as a shared extension to make it required in that case) - ext/libxml is required
16 lines
479 B
Plaintext
16 lines
479 B
Plaintext
PHP_ARG_ENABLE([xmlreader],
|
|
[whether to enable XMLReader support],
|
|
[AS_HELP_STRING([--disable-xmlreader],
|
|
[Disable XMLReader support])],
|
|
[yes])
|
|
|
|
if test "$PHP_XMLREADER" != "no"; then
|
|
PHP_SETUP_LIBXML(XMLREADER_SHARED_LIBADD, [
|
|
AC_DEFINE(HAVE_XMLREADER,1,[ ])
|
|
PHP_NEW_EXTENSION(xmlreader, php_xmlreader.c, $ext_shared)
|
|
PHP_ADD_EXTENSION_DEP(xmlreader, dom, true)
|
|
PHP_ADD_EXTENSION_DEP(xmlreader, libxml)
|
|
PHP_SUBST(XMLREADER_SHARED_LIBADD)
|
|
])
|
|
fi
|