3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/os-specific/linux/displaylink/default.nix
2018-12-09 00:14:58 +01:00

70 lines
2.2 KiB
Nix

{ stdenv, lib, unzip, utillinux,
libusb1, evdi, systemd, makeWrapper, requireFile }:
let
arch =
if stdenv.hostPlatform.system == "x86_64-linux" then "x64"
else if stdenv.hostPlatform.system == "i686-linux" then "x86"
else throw "Unsupported architecture";
bins = "${arch}-ubuntu-1604";
libPath = lib.makeLibraryPath [ stdenv.cc.cc utillinux libusb1 evdi ];
in stdenv.mkDerivation rec {
name = "displaylink-${version}";
version = "4.4.24";
src = requireFile rec {
name = "displaylink.zip";
sha256 = "0c02mg7vbijpfpk9imh0hmls1yiglc216zfllw5ar86r1slhd5y0";
message = ''
In order to install the DisplayLink drivers, you must first
comply with DisplayLink's EULA and download the binaries and
sources from here:
http://www.displaylink.com/downloads/file?id=1087
Once you have downloaded the file, please use the following
commands and re-run the installation:
mv \$PWD/"DisplayLink USB Graphics Software for Ubuntu ${version}.zip" \$PWD/${name}
nix-prefetch-url file://\$PWD/${name}
'';
};
nativeBuildInputs = [ unzip makeWrapper ];
buildCommand = ''
unzip $src
chmod +x displaylink-driver-${version}.run
./displaylink-driver-${version}.run --target . --noexec
sed -i "s,/opt/displaylink/udev.sh,$out/lib/udev/displaylink.sh,g" udev-installer.sh
( source udev-installer.sh
mkdir -p $out/lib/udev/rules.d
main systemd "$out/lib/udev/rules.d/99-displaylink.rules" "$out/lib/udev/displaylink.sh"
)
sed -i '2iPATH=${systemd}/bin:$PATH' $out/lib/udev/displaylink.sh
install -Dt $out/lib/displaylink *.spkg
install -Dm755 ${bins}/DisplayLinkManager $out/bin/DisplayLinkManager
patchelf \
--set-interpreter $(cat ${stdenv.cc}/nix-support/dynamic-linker) \
--set-rpath ${libPath} \
$out/bin/DisplayLinkManager
wrapProgram $out/bin/DisplayLinkManager \
--run "cd $out/lib/displaylink"
fixupPhase
'';
dontStrip = true;
dontPatchELF = true;
meta = with stdenv.lib; {
description = "DisplayLink DL-5xxx, DL-41xx and DL-3x00 Driver for Linux";
platforms = [ "x86_64-linux" "i686-linux" ];
license = licenses.unfree;
homepage = http://www.displaylink.com/;
};
}