2020-01-16 18:07:56 +01:00
|
|
|
{ stdenv, fetchFromGitHub, fetchpatch, kernel, libdrm }:
|
2017-05-01 14:22:59 +02:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2019-07-08 23:56:15 +02:00
|
|
|
pname = "evdi";
|
2020-02-25 11:29:23 +01:00
|
|
|
version = "unstable-20200222";
|
2017-05-01 14:22:59 +02:00
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "DisplayLink";
|
2019-07-08 23:56:15 +02:00
|
|
|
repo = pname;
|
2020-02-25 11:29:23 +01:00
|
|
|
rev = "bb3038c1b10aae99feddc7354c74a5bf22341246";
|
|
|
|
sha256 = "058f8gdma6fndg2w512l08mwl79h4hffacx4rnfkjxrb2ard3gd1";
|
2017-05-01 14:22:59 +02:00
|
|
|
};
|
|
|
|
|
2018-01-16 10:05:42 +01:00
|
|
|
nativeBuildInputs = kernel.moduleBuildDependencies;
|
|
|
|
|
2017-05-01 14:22:59 +02:00
|
|
|
buildInputs = [ kernel libdrm ];
|
|
|
|
|
2019-11-01 05:46:59 +01:00
|
|
|
makeFlags = [
|
|
|
|
"KVER=${kernel.modDirVersion}"
|
2020-01-16 18:07:56 +01:00
|
|
|
"KDIR=${kernel.dev}/lib/modules/${kernel.modDirVersion}/build"
|
2019-11-01 05:46:59 +01:00
|
|
|
];
|
2017-05-01 14:22:59 +02:00
|
|
|
|
2018-02-22 10:55:06 +01:00
|
|
|
hardeningDisable = [ "format" "pic" "fortify" ];
|
2017-05-01 14:22:59 +02:00
|
|
|
|
|
|
|
installPhase = ''
|
|
|
|
install -Dm755 module/evdi.ko $out/lib/modules/${kernel.modDirVersion}/kernel/drivers/gpu/drm/evdi/evdi.ko
|
2020-01-16 18:07:56 +01:00
|
|
|
install -Dm755 library/libevdi.so.1.6.4 $out/lib/libevdi.so
|
2017-05-01 14:22:59 +02:00
|
|
|
'';
|
|
|
|
|
|
|
|
meta = with stdenv.lib; {
|
|
|
|
description = "Extensible Virtual Display Interface";
|
2019-11-01 05:46:59 +01:00
|
|
|
platforms = platforms.linux;
|
2020-01-16 18:07:56 +01:00
|
|
|
license = with licenses; [ lgpl21 gpl2 ];
|
|
|
|
homepage = "https://www.displaylink.com/";
|
2019-11-01 05:46:59 +01:00
|
|
|
broken = versionOlder kernel.version "4.9" || stdenv.isAarch64;
|
2017-05-01 14:22:59 +02:00
|
|
|
};
|
|
|
|
}
|