summaryrefslogtreecommitdiff
path: root/ext/sockets/config.w32
diff options
context:
space:
mode:
authorLorry Tar Creator <lorry-tar-importer@baserock.org>2013-03-14 05:42:27 +0000
committer <>2013-04-03 16:25:08 +0000
commitc4dd7a1a684490673e25aaf4fabec5df138854c4 (patch)
tree4d57c44caae4480efff02b90b9be86f44bf25409 /ext/sockets/config.w32
downloadphp2-master.tar.gz
Imported from /home/lorry/working-area/delta_php2/php-5.4.13.tar.bz2.HEADphp-5.4.13master
Diffstat (limited to 'ext/sockets/config.w32')
-rw-r--r--ext/sockets/config.w3217
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");
+ }
+}
+