1
// $Id: config.w32,v 1.1.8.2 2009/01/23 15:49:48 kalle Exp $
4
ARG_ENABLE("sockets", "SOCKETS support", "no");
6
if (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);
12
WARNING("sockets not enabled; libraries and headers not found");