pkgs/by-name/tr/tracefilegen/package.nix

   1 {
   2   lib,
   3   stdenv,
   4   fetchFromGitHub,
   5   cmake,
   6 }:
   7
   8 stdenv.mkDerivation rec {
   9
  10   pname = "tracefilegen";
  11   version = "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 }