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