diff options
Diffstat (limited to 'ext/wddx/config.m4')
| -rw-r--r-- | ext/wddx/config.m4 | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/ext/wddx/config.m4 b/ext/wddx/config.m4 deleted file mode 100644 index 347ad117e9..0000000000 --- a/ext/wddx/config.m4 +++ /dev/null @@ -1,14 +0,0 @@ -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 |