evdi: 2020-02-22 -> 2020-04-16

wip/yesman
eyjhb 4 years ago
parent c62e88ab81
commit f72d51cc4e
No known key found for this signature in database
GPG Key ID: 740FAE1502523BD8
  1. 8
      pkgs/os-specific/linux/evdi/default.nix

@ -2,13 +2,13 @@
stdenv.mkDerivation rec {
pname = "evdi";
version = "unstable-20200222";
version = "unstable-20200416";
src = fetchFromGitHub {
owner = "DisplayLink";
repo = pname;
rev = "bb3038c1b10aae99feddc7354c74a5bf22341246";
sha256 = "058f8gdma6fndg2w512l08mwl79h4hffacx4rnfkjxrb2ard3gd1";
rev = "dc595db636845aef39490496bc075f6bf067106c";
sha256 = "1yrny6jj9403z0rxbd3nxf49xc4w0rfpl7xsq03pq32pb3vlbqw7";
};
nativeBuildInputs = kernel.moduleBuildDependencies;
@ -24,7 +24,7 @@ stdenv.mkDerivation rec {
installPhase = ''
install -Dm755 module/evdi.ko $out/lib/modules/${kernel.modDirVersion}/kernel/drivers/gpu/drm/evdi/evdi.ko
install -Dm755 library/libevdi.so.1.6.4 $out/lib/libevdi.so
install -Dm755 library/libevdi.so $out/lib/libevdi.so
'';
meta = with stdenv.lib; {

Loading…
Cancel
Save