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

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