diff options
Diffstat (limited to 'ext/sockets/config.w32')
| -rw-r--r-- | ext/sockets/config.w32 | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/ext/sockets/config.w32 b/ext/sockets/config.w32 new file mode 100644 index 0000000..9c234db --- /dev/null +++ b/ext/sockets/config.w32 @@ -0,0 +1,17 @@ +// $Id$ +// vim:ft=javascript + +ARG_ENABLE("sockets", "SOCKETS support", "no"); + +if (PHP_SOCKETS != "no") { + if (CHECK_LIB("ws2_32.lib", "sockets", PHP_SOCKETS) + && CHECK_LIB("Iphlpapi.lib", "sockets", PHP_SOCKETS) + && CHECK_HEADER_ADD_INCLUDE("winsock.h", "CFLAGS_SOCKETS")) { + EXTENSION('sockets', 'sockets.c multicast.c'); + AC_DEFINE('HAVE_SOCKETS', 1); + PHP_INSTALL_HEADERS("ext/sockets", "php_sockets.h"); + } else { + WARNING("sockets not enabled; libraries and headers not found"); + } +} + |