2014-04-09 02:21:06 +02:00
|
|
|
{ stdenv, fetchurl }:
|
2014-04-01 08:10:28 +02:00
|
|
|
|
2014-04-09 02:21:06 +02:00
|
|
|
stdenv.mkDerivation rec {
|
2019-08-15 14:41:18 +02:00
|
|
|
pname = "lockdep";
|
2015-07-20 20:31:02 +02:00
|
|
|
version = "4.1.2";
|
|
|
|
fullver = "4.1.2";
|
2014-04-09 02:21:06 +02:00
|
|
|
|
|
|
|
src = fetchurl {
|
2015-07-20 20:31:02 +02:00
|
|
|
url = "mirror://kernel/linux/kernel/v4.x/linux-${version}.tar.xz";
|
|
|
|
sha256 = "1mdyjhnzhh254cblahqmpsk226z006z6sm9dmwvg6jlhpsw4cjhy";
|
2014-04-09 02:21:06 +02:00
|
|
|
};
|
2014-04-01 08:10:28 +02:00
|
|
|
|
|
|
|
preConfigure = "cd tools/lib/lockdep";
|
|
|
|
installPhase = ''
|
|
|
|
mkdir -p $out/bin $out/lib $out/include
|
|
|
|
|
|
|
|
cp -R include/liblockdep $out/include
|
|
|
|
make install DESTDIR=$out prefix=""
|
|
|
|
|
2014-10-09 23:56:09 +02:00
|
|
|
substituteInPlace $out/bin/lockdep --replace "./liblockdep.so" "$out/lib/liblockdep.so.$fullver"
|
2014-04-01 08:10:28 +02:00
|
|
|
'';
|
|
|
|
|
|
|
|
meta = {
|
2016-06-20 12:53:46 +02:00
|
|
|
description = "Userspace locking validation tool built on the Linux kernel";
|
2014-04-01 08:10:28 +02:00
|
|
|
homepage = "https://kernel.org/";
|
|
|
|
license = stdenv.lib.licenses.gpl2;
|
|
|
|
platforms = stdenv.lib.platforms.linux;
|
|
|
|
maintainers = [ stdenv.lib.maintainers.thoughtpolice ];
|
|
|
|
};
|
|
|
|
}
|