1
0
mirror of https://github.com/php/php-src.git synced 2026-03-27 17:52:16 +01:00

Enabling WDDX by default.

This commit is contained in:
Andrei Zmievski
2001-04-20 19:33:22 +00:00
parent 787e4cc0fe
commit f52831bc84
2 changed files with 4 additions and 10 deletions

View File

@@ -1,14 +1,14 @@
dnl $Id$
dnl config.m4 for extension wddx
PHP_ARG_ENABLE(wddx,whether to enable WDDX support,
[ --enable-wddx Enable WDDX support])
PHP_ARG_ENABLE(wddx,for WDDX support,
[ --disable-wddx Disable WDDX support], yes)
if test "$PHP_WDDX" = "yes"; then
if test "$PHP_WDDX" != "no"; then
if test "$enable_xml" = "no"; then
AC_MSG_WARN(Activating XML)
enable_xml=yes
fi
AC_DEFINE(HAVE_WDDX, 1, [ ])
PHP_EXTENSION(wddx)
PHP_EXTENSION(wddx, $ext_shared)
fi

View File

@@ -1,6 +0,0 @@
# $Source$
# $Id$
define_option with-wddx 'wddx support?' yesnodir no \
' Whether to build the wddx extension.'