config.w32 640 B

1234567891011121314151617181920212223
  1. // vim:ft=javascript
  2. ARG_WITH("wddx", "WDDX support", "yes");
  3. if (PHP_WDDX == "yes" &&
  4. PHP_LIBXML == "yes" &&
  5. CHECK_HEADER_ADD_INCLUDE("libxml/parser.h", "CFLAGS_WDDX", PHP_PHP_BUILD + "\\include\\libxml2")
  6. ) {
  7. EXTENSION("wddx", "wddx.c");
  8. AC_DEFINE("HAVE_WDDX", 1, "WDDX support");
  9. if (!PHP_WDDX_SHARED) {
  10. ADD_FLAG("CFLAGS_WDDX", "/D LIBXML_STATIC");
  11. } else {
  12. if (!CHECK_LIB("libxml2.lib", "wddx")) {
  13. WARNING("wddx support can't be enabled, libxml is not found")
  14. }
  15. }
  16. ADD_EXTENSION_DEP('wddx', 'libxml');
  17. ADD_EXTENSION_DEP('wddx', 'xml')
  18. CHECK_HEADER_ADD_INCLUDE("timelib_config.h", "CFLAGS_WDDX", "ext/date/lib");
  19. }