Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpredis/phpredis.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNicolas Favre-Felix <n.favrefelix@gmail.com>2011-06-26 02:09:09 +0400
committerNicolas Favre-Felix <n.favrefelix@gmail.com>2011-06-26 02:09:09 +0400
commit73d99c3ec85d7b4da6e0b187e5a396335db72d35 (patch)
treeda5d47e8f1710756caeb52a086a04c2fee9ae1da /config.m4
parent956e3e445b8450f737a7efbfdb8c4db2fd0aae4d (diff)
Added configure flag to disable sessions.
Diffstat (limited to 'config.m4')
-rwxr-xr-xconfig.m49
1 files changed, 9 insertions, 0 deletions
diff --git a/config.m4 b/config.m4
index d4391cbf..8ebc9e73 100755
--- a/config.m4
+++ b/config.m4
@@ -5,8 +5,17 @@ PHP_ARG_ENABLE(redis, whether to enable redis support,
dnl Make sure that the comment is aligned:
[ --enable-redis Enable redis support])
+PHP_ARG_ENABLE(redis-session, whether to enable sessions,
+[ --disable-redis-session Disable session support], yes, no)
+
+
+
if test "$PHP_REDIS" != "no"; then
+ if test "$PHP_REDIS_SESSION" != "no"; then
+ AC_DEFINE(PHP_SESSION,1,[redis sessions])
+ fi
+
dnl # --with-redis -> check with-path
dnl SEARCH_PATH="/usr/local /usr" # you might want to change this
dnl SEARCH_FOR="/include/redis.h" # you most likely want to change this