3
0
Fork 0
forked from mirrors/nixpkgs

Merge #15354: add tracefilegen and tracefilesim

This commit is contained in:
Vladimír Čunát 2016-05-19 10:29:28 +02:00
commit da2788c3d7
5 changed files with 73 additions and 0 deletions

View file

@ -76,6 +76,7 @@
choochootrain = "Hurshal Patel <hurshal@imap.cc>";
christopherpoole = "Christopher Mark Poole <mail@christopherpoole.net>";
cleverca22 = "Michael Bishop <cleverca22@gmail.com>";
cmcdragonkai = "Roger Qiu <roger.qiu@matrix.ai>";
coconnor = "Corey O'Connor <coreyoconnor@gmail.com>";
codsl = "codsl <codsl@riseup.net>";
codyopel = "Cody Opel <codyopel@gmail.com>";

View file

@ -0,0 +1,17 @@
source "$stdenv"/setup
cp --recursive "$src" ./
chmod --recursive u=rwx ./"$(basename "$src")"
cd ./"$(basename "$src")"
cmake ./
make
mkdir --parents "$out"/bin
cp ./TraceFileGen "$out"/bin
mkdir --parents "$out"/share/doc/"$name"/html
cp --recursive ./Documentation/html/* "$out/share/doc/$name/html/"

View file

@ -0,0 +1,25 @@
{ stdenv, fetchgit, cmake }:
stdenv.mkDerivation rec {
name = "tracefilegen-2015-11-14";
src = fetchgit {
url = "https://github.com/GarCoSim/TraceFileGen.git";
rev = "4acf75b142683cc475c6b1c841a221db0753b404";
sha256 = "0mh661l9d1lczv0mr2y9swzqqlwikyqiv1hdd71r9v8cvm54y5ij";
};
buildInputs = [ cmake ];
builder = ./builder.sh;
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;
};
}

View file

@ -0,0 +1,26 @@
{ stdenv, fetchgit }:
stdenv.mkDerivation {
name = "tracefilesim-2015-11-07";
src = fetchgit {
url = "https://github.com/GarCoSim/TraceFileSim.git";
rev = "368aa6b1d6560e7ecbd16fca47000c8f528f3da2";
sha256 = "156m92k38ap4bzidbr8dzl065rni8lrib71ih88myk9z5y1x5nxm";
};
installPhase = ''
mkdir --parents "$out/bin"
cp ./traceFileSim "$out/bin"
'';
meta = with stdenv.lib; {
description = "Ease the analysis of existing memory management techniques, as well as the prototyping of new memory management techniques.";
homepage = "https://github.com/GarCoSim";
maintainers = [ maintainers.cmcdragonkai ];
licenses = licenses.gpl2;
platforms = platforms.linux;
};
}

View file

@ -3535,6 +3535,10 @@ in
tracebox = callPackage ../tools/networking/tracebox { };
tracefilegen = callPackage ../development/tools/analysis/garcosim/tracefilegen { };
tracefilesim = callPackage ../development/tools/analysis/garcosim/tracefilesim { };
trash-cli = callPackage ../tools/misc/trash-cli { };
trickle = callPackage ../tools/networking/trickle {};