8000 split the igbinary stuff into a separate option · jrtkcoder/phpredis@3aa3c2d · GitHub
[go: up one dir, main page]
Skip to content

Commit 3aa3c2d

Browse files
weltlingweltling
committed
split the igbinary stuff into a separate option
1 parent b9a16b5 commit 3aa3c2d

File tree

1 file changed

+7
-1
lines changed

1 file changed

+7
-1
lines changed

‎config.w32

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,15 @@
22

33
ARG_ENABLE("redis", "whether to enable redis support", "yes");
44
ARG_ENABLE("redis-session", "whether to enable sessions", "yes");
5+
ARG_ENABLE("redis-igbinary", "whether to enable igbinary support", "no");
56

67
if (PHP_REDIS != "no") {
7-
var sources = "redis.c library.c igbinary\\igbinary.c igbinary\\hash_si.c igbinary\\hash_function.c";
8+
var sources = "redis.c library.c"
9+
10+
if (PHP_REDIS_IGBINARY != "no") {
11+
sources += " igbinary\\igbinary.c igbinary\\hash_si.c igbinary\\hash_function.c";
12+
}
13+
814
if (PHP_REDIS_SESSION != "no") {
915
AC_DEFINE('PHP_SESSION', 1);
1016
sources += " redis_session.c";

0 commit comments

Comments
 (0)
0