Merge pull request #90594 from wucke13/webdis

webdis: 0.1.9 -> 0.1.10
This commit is contained in:
Daniël de Kok 2020-06-17 17:12:20 +02:00 committed by GitHub
commit 705b85c301
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,23 +2,15 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "webdis"; pname = "webdis";
version = "0.1.9"; version = "0.1.10";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "nicolasff"; owner = "nicolasff";
repo = pname; repo = pname;
rev = version; rev = version;
sha256 = "1kglzbs1sw3w05i678qr3lv4pxia20k2a8s3pjhfcxdlnlcy23sk"; sha256 = "1hn4fq0asivfs56rw9ck1vc3g6h6fnwywh8v4zs2bkyn62fg9mcw";
}; };
patches = [
# Do not use DESTDIR. See: https://github.com/nicolasff/webdis/pull/172
(fetchpatch {
url = "https://github.com/nicolasff/webdis/commit/a44a2964a59f2e583f4945eeb65cd19235059270.patch";
sha256 = "0i41p98gc201vpp5ppjc9gxdyb1bpimr0qrvibaf3iq3sy4jr1gb";
})
];
buildInputs = [ hiredis http-parser jansson libevent ]; buildInputs = [ hiredis http-parser jansson libevent ];
makeFlags = [ makeFlags = [