diff options
| author | Anatol Belski <ab@php.net> | 2014-07-01 13:28:57 +0400 |
|---|---|---|
| committer | Anatol Belski <ab@php.net> | 2014-07-01 13:28:57 +0400 |
| commit | 3aa3c2d2f1578b8d00547677abd774274536bb9a (patch) | |
| tree | 09811fbf629d572aec17ce6e8044bf82bdab2155 /config.w32 | |
| parent | b9a16b5ad5d8c80eac53f530f37e89761ec2c720 (diff) | |
split the igbinary stuff into a separate option
Diffstat (limited to 'config.w32')
| -rw-r--r-- | config.w32 | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -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";
|