mirror of
https://github.com/php/php-src.git
synced 2026-03-24 08:12:21 +01:00
18 lines
494 B
Plaintext
18 lines
494 B
Plaintext
PHP_ARG_WITH([libxml],
|
|
[whether to build with LIBXML support],
|
|
[AS_HELP_STRING([--without-libxml],
|
|
[Build without LIBXML support])],
|
|
[yes])
|
|
|
|
if test "$PHP_LIBXML" != "no"; then
|
|
|
|
dnl This extension can not be build as shared
|
|
ext_shared=no
|
|
|
|
PHP_SETUP_LIBXML(LIBXML_SHARED_LIBADD, [
|
|
AC_DEFINE(HAVE_LIBXML,1,[ ])
|
|
PHP_NEW_EXTENSION(libxml, [libxml.c mime_sniff.c], $ext_shared,, -DZEND_ENABLE_STATIC_TSRMLS_CACHE=1)
|
|
PHP_INSTALL_HEADERS([ext/libxml/php_libxml.h])
|
|
])
|
|
fi
|