tjh.dev
1{
2 lib,
3 stdenv,
4 fetchFromGitHub,
5 cmake,
6}:
7
8stdenv.mkDerivation rec {
9
10 pname = "tracefilegen";
11 version = "0-unstable-2017-05-13";
12
13 src = fetchFromGitHub {
14 owner = "GarCoSim";
15 repo = "TraceFileGen";
16 rev = "0ebfd1fdb54079d4bdeaa81fc9267ecb9f016d60";
17 sha256 = "1gsx18ksgz5gwl3v62vgrmhxc0wc99i74qwhpn0h57zllk41drjc";
18 };
19
20 nativeBuildInputs = [ cmake ];
21
22 patches = [ ./gcc7.patch ];
23
24 installPhase = ''
25 install -Dm755 TraceFileGen $out/bin/TraceFileGen
26 mkdir -p $out/share/doc/${pname}-${version}/
27 cp -ar $src/Documentation/html $out/share/doc/${pname}-${version}/.
28 '';
29
30 meta = with lib; {
31 description = "Automatically generate all types of basic memory management operations and write into trace files";
32 mainProgram = "TraceFileGen";
33 homepage = "https://github.com/GarCoSim";
34 maintainers = [ maintainers.cmcdragonkai ];
35 license = licenses.gpl2;
36 platforms = platforms.linux;
37 };
38
39}