2015-10-28 15:20:32 +01:00
|
|
|
{ stdenv, fetchFromGitHub, cmake, libpfm, zlib, python, pkgconfig, pythonPackages, which, procps }:
|
2014-05-26 01:25:28 +02:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2016-01-29 12:28:08 +01:00
|
|
|
version = "4.0.3";
|
2014-12-05 00:49:13 +01:00
|
|
|
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;
|
2016-01-29 12:28:08 +01:00
|
|
|
sha256 = "0k12r1hzkn5286kz5cg4mvii92m0prs58przchr495r9hfjcy276";
|
2014-05-26 01:25:28 +02:00
|
|
|
};
|
|
|
|
|
2014-12-12 08:19:50 +01:00
|
|
|
patchPhase = ''
|
|
|
|
substituteInPlace src/Command.cc --replace '_BSD_SOURCE' '_DEFAULT_SOURCE'
|
2015-10-28 15:20:32 +01:00
|
|
|
patchShebangs .
|
2014-12-12 08:19:50 +01:00
|
|
|
'';
|
|
|
|
|
2015-10-28 15:20:32 +01:00
|
|
|
buildInputs = [ cmake libpfm zlib python pkgconfig pythonPackages.pexpect which procps ];
|
2014-12-05 00:49:13 +01:00
|
|
|
cmakeFlags = "-DCMAKE_C_FLAGS_RELEASE:STRING= -DCMAKE_CXX_FLAGS_RELEASE:STRING=";
|
2014-05-26 01:25:28 +02:00
|
|
|
|
2015-10-28 15:20:32 +01:00
|
|
|
enableParallelBuilding = true;
|
|
|
|
|
|
|
|
# FIXME
|
|
|
|
#doCheck = true;
|
|
|
|
|
|
|
|
preCheck = "export HOME=$TMPDIR";
|
|
|
|
|
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";
|
2014-12-12 08:19:50 +01:00
|
|
|
maintainers = with stdenv.lib.maintainers; [ pierron thoughtpolice ];
|
|
|
|
platforms = stdenv.lib.platforms.linux;
|
2014-05-26 01:25:28 +02:00
|
|
|
};
|
2014-12-12 08:19:50 +01:00
|
|
|
}
|