xref: /PHP-5.6/ext/sockets/config.w32 (revision 7066cc72) 
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');
11		AC_DEFINE('HAVE_SOCKETS', 1);
12		PHP_INSTALL_HEADERS("ext/sockets", "php_sockets.h");
13	} else {
14		WARNING("sockets not enabled; libraries and headers not found");
15	}
16}
17
18