Merge pull request #336912 from jtojnar/php84-fixes

php84.extensions.redis: Fix build
This commit is contained in:
Pol Dellaiera 2024-08-24 09:09:09 +02:00 committed by GitHub
commit ab8ea6a968
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -3,6 +3,7 @@
lib,
php,
fetchFromGitHub,
fetchpatch,
}:
let
@ -19,6 +20,14 @@ buildPecl {
hash = "sha256-Ie31zak6Rqxm2+jGXWg6KN4czHe9e+190jZRQ5VoB+M=";
};
patches = [
# Fix build with PHP 8.4.
(fetchpatch {
url = "https://github.com/phpredis/phpredis/commit/a51215ce2b22bcd1f506780c35b6833471e0b8cb.patch";
hash = "sha256-DoGPMyuI/IZdF+8jG5faoyG2aM+WDz0obH6S7HoOMX8=";
})
];
internalDeps = with php.extensions; [ session ];
meta = with lib; {