2016-03-18 10:59:20 +00:00
|
|
|
{ stdenv, fetchFromGitHub, cmake, libpfm, zlib, python, pkgconfig, pythonPackages, which, procps, gdb }:
|
2014-05-26 00:25:28 +01:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2016-03-18 10:59:20 +00:00
|
|
|
version = "4.2.0";
|
2014-12-04 23:49:13 +00:00
|
|
|
name = "rr-${version}";
|
2014-05-26 00:25:28 +01:00
|
|
|
|
2014-10-22 14:09:16 +01:00
|
|
|
src = fetchFromGitHub {
|
2014-12-04 23:49:13 +00:00
|
|
|
owner = "mozilla";
|
|
|
|
repo = "rr";
|
|
|
|
rev = version;
|
2016-03-18 10:59:20 +00:00
|
|
|
sha256 = "03fl2wgbc1cilaw8hrhfqjsbpi05cid6k4cr3s2vmv5gx0dnrgy4";
|
2014-05-26 00:25:28 +01:00
|
|
|
};
|
|
|
|
|
2014-12-12 07:19:50 +00:00
|
|
|
patchPhase = ''
|
|
|
|
substituteInPlace src/Command.cc --replace '_BSD_SOURCE' '_DEFAULT_SOURCE'
|
2015-10-28 14:20:32 +00:00
|
|
|
patchShebangs .
|
2014-12-12 07:19:50 +00:00
|
|
|
'';
|
|
|
|
|
2016-03-18 10:59:20 +00:00
|
|
|
buildInputs = [ cmake libpfm zlib python pkgconfig pythonPackages.pexpect which procps gdb ];
|
2014-12-04 23:49:13 +00:00
|
|
|
cmakeFlags = "-DCMAKE_C_FLAGS_RELEASE:STRING= -DCMAKE_CXX_FLAGS_RELEASE:STRING=";
|
2014-05-26 00:25:28 +01:00
|
|
|
|
2015-10-28 14:20:32 +00:00
|
|
|
enableParallelBuilding = true;
|
|
|
|
|
|
|
|
# FIXME
|
|
|
|
#doCheck = true;
|
|
|
|
|
|
|
|
preCheck = "export HOME=$TMPDIR";
|
|
|
|
|
2014-05-26 00:25:28 +01:00
|
|
|
meta = {
|
|
|
|
homepage = http://rr-project.org/;
|
|
|
|
description = "Records nondeterministic executions and debugs them deterministically";
|
|
|
|
longDescription = ''
|
|
|
|
rr aspires to be your primary debugging tool, replacing -- well,
|
|
|
|
enhancing -- gdb. You record a failure once, then debug the
|
|
|
|
recording, deterministically, as many times as you want. Every
|
|
|
|
time the same execution is replayed.
|
|
|
|
'';
|
|
|
|
|
2014-12-04 23:49:13 +00:00
|
|
|
license = "custom";
|
2014-12-12 07:19:50 +00:00
|
|
|
maintainers = with stdenv.lib.maintainers; [ pierron thoughtpolice ];
|
|
|
|
platforms = stdenv.lib.platforms.linux;
|
2014-05-26 00:25:28 +01:00
|
|
|
};
|
2014-12-12 07:19:50 +00:00
|
|
|
}
|