12345678910111213 |
- // $Id$
- // vim:ft=javascript
- ARG_WITH("wddx", "WDDX support", "yes");
- if (PHP_WDDX == "yes" && PHP_LIBXML == "yes") {
- EXTENSION("wddx", "wddx.c");
- AC_DEFINE("HAVE_WDDX", 1, "WDDX support");
- ADD_EXTENSION_DEP('wddx', 'libxml');
- CHECK_HEADER_ADD_INCLUDE("timelib_config.h", "CFLAGS_WDDX", "ext/date/lib");
- }
|