mirror of
https://github.com/php/php-src.git
synced 2025-08-16 05:58:45 +02:00
20 lines
588 B
Text
20 lines
588 B
Text
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],
|
|
[Define to 1 if the PHP extension 'libxml' is available.])
|
|
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
|