From 3aa3c2d2f1578b8d00547677abd774274536bb9a Mon Sep 17 00:00:00 2001
From: Anatol Belski <ab@php.net>
Date: Tue, 1 Jul 2014 11:28:57 +0200
Subject: [PATCH] split the igbinary stuff into a separate option

---
 config.w32 | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/config.w32 b/config.w32
index 8b39af9..9600f68 100644
--- a/config.w32
+++ b/config.w32
@@ -2,9 +2,15 @@
 
 ARG_ENABLE("redis", "whether to enable redis support", "yes");
 ARG_ENABLE("redis-session", "whether to enable sessions", "yes");
+ARG_ENABLE("redis-igbinary", "whether to enable igbinary support", "no");
 
 if (PHP_REDIS != "no") {
-	var sources = "redis.c library.c igbinary\\igbinary.c igbinary\\hash_si.c igbinary\\hash_function.c";
+	var sources = "redis.c library.c"
+	
+	if (PHP_REDIS_IGBINARY != "no") {
+		sources += " igbinary\\igbinary.c igbinary\\hash_si.c igbinary\\hash_function.c";
+	}
+
 	if (PHP_REDIS_SESSION != "no") {
 		AC_DEFINE('PHP_SESSION', 1);
 		sources += " redis_session.c";