xref: /PHP-5.3/ext/sockets/config.w32 (revision aea6771d) 
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_HEADER_ADD_INCLUDE("winsock.h", "CFLAGS_SOCKETS")) {
9		EXTENSION('sockets', 'sockets.c');
10		AC_DEFINE('HAVE_SOCKETS', 1);
11		PHP_INSTALL_HEADERS("ext/sockets", "php_sockets.h");
12	} else {
13		WARNING("sockets not enabled; libraries and headers not found");
14	}
15}
16
17