cvs: php4 /ext/wddx config.m4

sas Mon May 7 01:22:34 2001 EDT Modified files: /php4/ext/wddx config.m4 Log: As the WDDX extension can now be built as shared extension 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. Index: php4/ext/wddx/config.m4 diff -u php4/ext/wddx/config.m4:1.7 php4/ext/wddx/config.m4:1.8 --- php4/ext/wddx/config.m4:1.7 Fri Apr 20 12:33:22 2001 +++ php4/ext/wddx/config.m4 Mon May 7 01:22:34 2001 @@ -1,11 +1,11 @@ -dnl $Id: config.m4,v 1.7 2001/04/20 19:33:22 andrei Exp $ +dnl $Id: config.m4,v 1.8 2001/05/07 08:22:34 sas Exp $ 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