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