xref: /PHP-7.3/ext/sockets/config.w32 (revision 1c850bfc)
1// vim:ft=javascript
2
3ARG_ENABLE("sockets", "SOCKETS support", "no");
4
5if (PHP_SOCKETS != "no") {
6	if (CHECK_LIB("ws2_32.lib", "sockets", PHP_SOCKETS)
7	&& CHECK_LIB("Iphlpapi.lib", "sockets", PHP_SOCKETS)
8	&& CHECK_HEADER_ADD_INCLUDE("winsock.h", "CFLAGS_SOCKETS")) {
9		EXTENSION('sockets', 'sockets.c multicast.c conversions.c sockaddr_conv.c sendrecvmsg.c', PHP_SOCKETS_SHARED, "/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1");
10		AC_DEFINE('HAVE_SOCKETS', 1);
11		PHP_INSTALL_HEADERS("ext/sockets", "php_sockets.h windows_common.h");
12	} else {
13		WARNING("sockets not enabled; libraries and headers not found");
14	}
15}
16