diff options
author | Charles <char101@ui.ac.id> | 2011-06-30 18:17:23 +0400 |
---|---|---|
committer | Charles <char101@ui.ac.id> | 2011-06-30 18:17:23 +0400 |
commit | c9a6ce2cf4c15e7c0324da3bfc17cc28017fc157 (patch) | |
tree | 5aa7f4d1aac5f69ac3484c750b55a349b50b4fdb /config.w32 | |
parent | 73d99c3ec85d7b4da6e0b187e5a396335db72d35 (diff) |
Build fix for win32 (phpredis 2.1.3)
Diffstat (limited to 'config.w32')
-rw-r--r-- | config.w32 | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/config.w32 b/config.w32 new file mode 100644 index 00000000..8b39af90 --- /dev/null +++ b/config.w32 @@ -0,0 +1,15 @@ +// vim: ft=javascript:
+
+ARG_ENABLE("redis", "whether to enable redis support", "yes");
+ARG_ENABLE("redis-session", "whether to enable sessions", "yes");
+
+if (PHP_REDIS != "no") {
+ var sources = "redis.c library.c 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";
+ }
+
+ AC_DEFINE("PHP_EXPORTS", 1);
+ EXTENSION("redis", sources);
+}
|