mirror of
https://github.com/php/php-src.git
synced 2025-08-16 14:08:47 +02:00
15 lines
481 B
Text
15 lines
481 B
Text
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
|