diff options
author | Wez Furlong <wez@php.net> | 2003-12-19 17:00:14 +0000 |
---|---|---|
committer | Wez Furlong <wez@php.net> | 2003-12-19 17:00:14 +0000 |
commit | 51c342efae957a5f361cc14517cc0033f294581a (patch) | |
tree | c349f113ed3d87de169d60a150d67dff94371b5b /ext/sockets | |
parent | 836e786ddd6ea269b560c0e3770fba160f387196 (diff) | |
download | php-git-51c342efae957a5f361cc14517cc0033f294581a.tar.gz |
Make these build with new win32 build system.
Diffstat (limited to 'ext/sockets')
-rw-r--r-- | ext/sockets/config.w32 | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/ext/sockets/config.w32 b/ext/sockets/config.w32 new file mode 100644 index 0000000000..587b9a1b12 --- /dev/null +++ b/ext/sockets/config.w32 @@ -0,0 +1,15 @@ +// $Id$ +// vim:ft=javascript + +ARG_ENABLE("sockets", "SOCKETS support", "no"); + +if (PHP_SOCKETS != "no") { + + if (CHECK_LIB("ws2_32.lib", "sockets", PHP_SOCKETS)) { + EXTENSION('sockets', 'sockets.c php_sockets_win.c'); + AC_DEFINE('HAVE_SOCKETS', 1); + } else { + WARNING("sockets not enabled; libraries and headers not found"); + } +} + |