1PHP_ARG_ENABLE([xmlreader], 2 [whether to enable XMLReader support], 3 [AS_HELP_STRING([--disable-xmlreader], 4 [Disable XMLReader support])], 5 [yes]) 6 7if test "$PHP_XMLREADER" != "no"; then 8 PHP_SETUP_LIBXML([XMLREADER_SHARED_LIBADD], [ 9 AC_DEFINE([HAVE_XMLREADER], [1], 10 [Define to 1 if the PHP extension 'xmlreader' is available.]) 11 PHP_NEW_EXTENSION([xmlreader], [php_xmlreader.c], [$ext_shared]) 12 PHP_ADD_EXTENSION_DEP(xmlreader, dom, true) 13 PHP_ADD_EXTENSION_DEP(xmlreader, libxml) 14 PHP_SUBST([XMLREADER_SHARED_LIBADD]) 15 ]) 16fi 17
