mirror of
https://github.com/php/php-src.git
synced 2024-12-16 21:37:49 +08:00
26 lines
674 B
Plaintext
26 lines
674 B
Plaintext
dnl
|
|
dnl $Id$
|
|
dnl
|
|
|
|
PHP_ARG_ENABLE(libxml, whether to enable LIBXML support,
|
|
[ --disable-libxml Disable LIBXML support], yes)
|
|
|
|
if test -z "$PHP_LIBXML_DIR"; then
|
|
PHP_ARG_WITH(libxml-dir, libxml2 install dir,
|
|
[ --with-libxml-dir[=DIR] LIBXML: libxml2 install prefix], no, no)
|
|
fi
|
|
|
|
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], $ext_shared)
|
|
PHP_INSTALL_HEADERS([ext/libxml/php_libxml.h])
|
|
], [
|
|
AC_MSG_ERROR([xml2-config not found. Please check your libxml2 installation.])
|
|
])
|
|
fi
|