tjh.dev
1{
2 lib,
3 stdenv,
4 fetchFromGitHub,
5 fetchpatch,
6 kernel,
7}:
8
9stdenv.mkDerivation rec {
10 pname = "dddvb";
11 version = "0.9.38-pre.6";
12
13 src = fetchFromGitHub {
14 owner = "DigitalDevices";
15 repo = "dddvb";
16 tag = version;
17 hash = "sha256-bt/vMnqRWDDChZ6R4JbCr77cz3nlSPkx6siC9KLSEqs=";
18 };
19
20 patches = [
21 (fetchpatch {
22 # pci_*_dma_mask no longer exists in 5.18
23 url = "https://github.com/DigitalDevices/dddvb/commit/871821d6a0be147313bb52570591ce3853b3d370.patch";
24 hash = "sha256-wY05HrsduvsIdp/KpS9NWfL3hR9IvGjuNCDljFn7dd0=";
25 })
26 ];
27
28 postPatch = ''
29 sed -i '/depmod/d' Makefile
30 '';
31
32 nativeBuildInputs = kernel.moduleBuildDependencies;
33
34 makeFlags = [
35 "KDIR=${kernel.dev}/lib/modules/${kernel.modDirVersion}/build"
36 ];
37
38 INSTALL_MOD_PATH = placeholder "out";
39
40 enableParallelBuilding = true;
41
42 meta = with lib; {
43 homepage = "https://github.com/DigitalDevices/dddvb";
44 description = "Device driver for all Digital Devices DVB demodulator and modulator cards";
45 license = licenses.gpl2Only;
46 maintainers = [ ];
47 platforms = platforms.linux;
48 broken = lib.versionAtLeast kernel.version "6.2";
49 };
50}