Merge pull request #31158 from jbboehr/fix/php-redis-3.1.4-m

phpPackages.redis: rev 4a37e4 -> 3.1.4
This commit is contained in:
Jörg Thalheim 2017-11-03 00:13:27 +00:00 committed by GitHub
commit ddec346c63
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -269,22 +269,16 @@ let
buildInputs = [ pkgs.geoip ];
};
redis = if isPhp7 then redisPhp7 else redis22;
redis = if isPhp7 then redis31 else redis22;
redis22 = assert !isPhp7; buildPecl {
name = "redis-2.2.7";
sha256 = "00n9dpk9ak0bl35sbcd3msr78sijrxdlb727nhg7f2g7swf37rcm";
};
# Not released yet
redisPhp7 = assert isPhp7; buildPecl rec {
name = "redis-php7";
src = fetchgit {
url = "https://github.com/phpredis/phpredis";
rev = "4a37e47d0256581ce2f7a3b15b5bb932add09f36";
sha256 = "1qm2ifa0zf95l1g967iiabmja17srpwz73lfci7z13ffdw1ayhfd";
};
redis31 = assert isPhp7; buildPecl {
name = "redis-3.1.4";
sha256 = "0rgjdrqfif8pfn3ipk1v4gyjkkdcdrdk479qbpda89w25vaxzsxd";
};
v8 = assert isPhp7; buildPecl rec {