1{ stdenv, fetchurl }:
2
3stdenv.mkDerivation rec {
4 name = "lockdep-${version}";
5 version = "4.1.2";
6 fullver = "4.1.2";
7
8 src = fetchurl {
9 url = "mirror://kernel/linux/kernel/v4.x/linux-${version}.tar.xz";
10 sha256 = "1mdyjhnzhh254cblahqmpsk226z006z6sm9dmwvg6jlhpsw4cjhy";
11 };
12
13 preConfigure = "cd tools/lib/lockdep";
14 installPhase = ''
15 mkdir -p $out/bin $out/lib $out/include
16
17 cp -R include/liblockdep $out/include
18 make install DESTDIR=$out prefix=""
19
20 substituteInPlace $out/bin/lockdep --replace "./liblockdep.so" "$out/lib/liblockdep.so.$fullver"
21 '';
22
23 meta = {
24 description = "Userspace locking validation tool built on the Linux kernel";
25 homepage = "https://kernel.org/";
26 license = stdenv.lib.licenses.gpl2;
27 platforms = stdenv.lib.platforms.linux;
28 maintainers = [ stdenv.lib.maintainers.thoughtpolice ];
29 };
30}