mirror of
https://github.com/SebastianWendel/nixpkgs.git
synced 2024-09-27 15:40:18 +02:00
33 lines
859 B
Nix
33 lines
859 B
Nix
{ stdenv, fetchFromGitHub, cmake }:
|
|
|
|
stdenv.mkDerivation rec {
|
|
|
|
name = "tracefilegen-2017-05-13";
|
|
|
|
src = fetchFromGitHub {
|
|
owner = "GarCoSim";
|
|
repo = "TraceFileGen";
|
|
rev = "0ebfd1fdb54079d4bdeaa81fc9267ecb9f016d60";
|
|
sha256 = "1gsx18ksgz5gwl3v62vgrmhxc0wc99i74qwhpn0h57zllk41drjc";
|
|
};
|
|
|
|
nativeBuildInputs = [ cmake ];
|
|
|
|
patches = [ ./gcc7.patch ];
|
|
|
|
installPhase = ''
|
|
install -Dm755 TraceFileGen $out/bin/TraceFileGen
|
|
mkdir -p $out/share/doc/${name}/
|
|
cp -ar $src/Documentation/html $out/share/doc/${name}/.
|
|
'';
|
|
|
|
meta = with stdenv.lib; {
|
|
description = "Automatically generate all types of basic memory management operations and write into trace files";
|
|
homepage = https://github.com/GarCoSim;
|
|
maintainers = [ maintainers.cmcdragonkai ];
|
|
license = licenses.gpl2;
|
|
platforms = platforms.linux;
|
|
};
|
|
|
|
}
|