config.w32 539 B

1234567891011121314151617
  1. // $Id$
  2. // vim:ft=javascript
  3. ARG_ENABLE("sockets", "SOCKETS support", "no");
  4. if (PHP_SOCKETS != "no") {
  5. if (CHECK_LIB("ws2_32.lib", "sockets", PHP_SOCKETS)
  6. && CHECK_LIB("Iphlpapi.lib", "sockets", PHP_SOCKETS)
  7. && CHECK_HEADER_ADD_INCLUDE("winsock.h", "CFLAGS_SOCKETS")) {
  8. EXTENSION('sockets', 'sockets.c multicast.c conversions.c sockaddr_conv.c sendrecvmsg.c');
  9. AC_DEFINE('HAVE_SOCKETS', 1);
  10. PHP_INSTALL_HEADERS("ext/sockets", "php_sockets.h");
  11. } else {
  12. WARNING("sockets not enabled; libraries and headers not found");
  13. }
  14. }