Merge pull request #185220 from mweinelt/dddvb

This commit is contained in:
Martin Weinelt 2022-08-05 13:37:44 +02:00 committed by GitHub
commit 9284400788
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,20 +1,29 @@
{ lib { lib
, stdenv , stdenv
, fetchFromGitHub , fetchFromGitHub
, fetchpatch
, kernel , kernel
}: }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "dddvb"; pname = "dddvb";
version = "0.9.38-pre.4"; version = "0.9.38-pre.6";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "DigitalDevices"; owner = "DigitalDevices";
repo = "dddvb"; repo = "dddvb";
rev = "e9ccab3578965234c0ea38c5b30969f33600561d"; rev = "refs/tags/${version}";
sha256 = "sha256-gOG+dAeQ++kTC5xaEpsr3emz3s6FXiKeCHmA9shYBJk="; hash = "sha256-bt/vMnqRWDDChZ6R4JbCr77cz3nlSPkx6siC9KLSEqs=";
}; };
patches = [
(fetchpatch {
# pci_*_dma_mask no longer exists in 5.18
url = "https://github.com/DigitalDevices/dddvb/commit/871821d6a0be147313bb52570591ce3853b3d370.patch";
hash = "sha256-wY05HrsduvsIdp/KpS9NWfL3hR9IvGjuNCDljFn7dd0=";
})
];
postPatch = '' postPatch = ''
sed -i '/depmod/d' Makefile sed -i '/depmod/d' Makefile
''; '';
@ -35,6 +44,5 @@ stdenv.mkDerivation rec {
license = licenses.gpl2Only; license = licenses.gpl2Only;
maintainers = with maintainers; [ hexa ]; maintainers = with maintainers; [ hexa ];
platforms = platforms.linux; platforms = platforms.linux;
broken = kernel.kernelAtLeast "5.18";
}; };
} }