]> granicus.if.org Git - php/commitdiff
As the WDDX extension can now be built as shared extension
authorSascha Schumann <sas@php.net>
Mon, 7 May 2001 08:22:34 +0000 (08:22 +0000)
committerSascha Schumann <sas@php.net>
Mon, 7 May 2001 08:22:34 +0000 (08:22 +0000)
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.

ext/wddx/config.m4

index 1530895b33fc653b284b6a5db5ee906207095d78..347ad117e94e1400b43237fa74a38fc43ed27eee 100644 (file)
@@ -2,10 +2,10 @@ dnl $Id$
 dnl config.m4 for extension wddx
 
 PHP_ARG_ENABLE(wddx,for WDDX support,
-[  --disable-wddx           Disable WDDX support], yes)
+[  --enable-wddx           Enable WDDX support])
 
 if test "$PHP_WDDX" != "no"; then
-  if test "$enable_xml" = "no"; then
+  if test "$ext_shared" != "yes" && test "$enable_xml" = "no"; then
     AC_MSG_WARN(Activating XML)
     enable_xml=yes
   fi