mirror of
https://github.com/php/php-src.git
synced 2024-10-15 05:22:48 +00:00
21eee58f6f
without functional loss with regard to the session serializer, it is safe to default to disable. We enable XML automatically only, if the user is building WDDX as a static extension.
15 lines
358 B
Plaintext
15 lines
358 B
Plaintext
dnl $Id$
|
|
dnl config.m4 for extension wddx
|
|
|
|
PHP_ARG_ENABLE(wddx,for WDDX support,
|
|
[ --enable-wddx Enable WDDX support])
|
|
|
|
if test "$PHP_WDDX" != "no"; then
|
|
if test "$ext_shared" != "yes" && test "$enable_xml" = "no"; then
|
|
AC_MSG_WARN(Activating XML)
|
|
enable_xml=yes
|
|
fi
|
|
AC_DEFINE(HAVE_WDDX, 1, [ ])
|
|
PHP_EXTENSION(wddx, $ext_shared)
|
|
fi
|