added config.w32

mgdm · May 14, 2014 · a15901b · a15901b
1 parent 219435d
commit a15901b
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 0 deletions.
diff --git a/config.w32 b/config.w32
@@ -0,0 +1,16 @@
+
+ARG_WITH("mosquitto", "include hrtime support", "no");
+
+if (PHP_MOSQUITTO != "no") {
+ if (CHECK_HEADER_ADD_INCLUDE("mosquitto.h", "CFLAGS_MOSQUITTO", PHP_PHP_BUILD + "\\include;" + PHP_MOSQUITTO)
+ && CHECK_LIB("mosquitto.lib", "mosquitto", PHP_PHP_BUILD + "\\lib;" + PHP_MOSQUITTO)) {
+
+ EXTENSION('mosquitto', 'mosquitto.c mosquitto_message.c');
+ AC_DEFINE('HAVE_MOSQUITTO', 1);
+
+ } else {
+ WARNING("mosquitto not enabled; libraries and headers not found");
+ }
+
+}
+
diff --git a/package.xml b/package.xml
@@ -31,6 +31,7 @@
  <file role="src" name="mosquitto_message.c"/>
 
  <file role="src" name="config.m4"/>
+ <file role="src" name="config.w32"/>
  </dir>
  </contents>