2014-12-05 00:49:13 +01:00
|
|
|
{ stdenv, fetchFromGitHub, cmake, libpfm, zlib }:
|
2014-05-26 01:25:28 +02:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2014-12-05 00:49:13 +01:00
|
|
|
version = "2.0.0";
|
|
|
|
name = "rr-${version}";
|
2014-05-26 01:25:28 +02:00
|
|
|
|
2014-10-22 15:09:16 +02:00
|
|
|
src = fetchFromGitHub {
|
2014-12-05 00:49:13 +01:00
|
|
|
owner = "mozilla";
|
|
|
|
repo = "rr";
|
|
|
|
rev = version;
|
|
|
|
sha256 = "0mlxkj35zmm15dgnc7rfynnh2s2hpym01147vwc8pwv8qgab903s";
|
2014-05-26 01:25:28 +02:00
|
|
|
};
|
|
|
|
|
2014-12-05 00:49:13 +01:00
|
|
|
buildInputs = [ cmake libpfm zlib ];
|
|
|
|
cmakeFlags = "-DCMAKE_C_FLAGS_RELEASE:STRING= -DCMAKE_CXX_FLAGS_RELEASE:STRING=";
|
2014-05-26 01:25:28 +02: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-05 00:49:13 +01:00
|
|
|
license = "custom";
|
|
|
|
maintainers = [ stdenv.lib.maintainers.pierron ];
|
|
|
|
platforms = [ "i686-linux" ];
|
2014-05-26 01:25:28 +02:00
|
|
|
};
|
|
|
|
}
|