1PHP_ARG_WITH([libxml], 2 [whether to build with LIBXML support], 3 [AS_HELP_STRING([--without-libxml], 4 [Build without LIBXML support])], 5 [yes]) 6 7if test "$PHP_LIBXML" != "no"; then 8 dnl This extension can not be build as shared 9 ext_shared=no 10 11 PHP_SETUP_LIBXML([LIBXML_SHARED_LIBADD], [ 12 AC_DEFINE([HAVE_LIBXML], [1], 13 [Define to 1 if the PHP extension 'libxml' is available.]) 14 PHP_NEW_EXTENSION([libxml], 15 [libxml.c mime_sniff.c], 16 [$ext_shared],, 17 [-DZEND_ENABLE_STATIC_TSRMLS_CACHE=1]) 18 PHP_INSTALL_HEADERS([ext/libxml], [php_libxml.h]) 19 ]) 20fi 21