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

config.w32 - github.com/phpredis/phpredis.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
blob: 8b39af9057d5a4be31ae736ccd9e637d2afe5e37 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
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);
}