diff options
author | Roger Qiu <roger.qiu@matrix.ai> | 2016-05-09 22:43:43 +1000 |
---|---|---|
committer | Roger Qiu <roger.qiu@polycademy.com> | 2016-05-19 18:00:09 +1000 |
commit | c02bc80d863e875458c6611033b1becbc73693c2 (patch) | |
tree | 2f767705a04e9bf1094feccffe32592c7865b96d /pkgs | |
parent | d2387e3c4a71ee83f29733710bd9af7ca0a7ce49 (diff) |
garcosim: Added tracefilegen and tracefilesim
Diffstat (limited to 'pkgs')
4 files changed, 72 insertions, 0 deletions
diff --git a/pkgs/development/tools/analysis/garcosim/tracefilegen/builder.sh b/pkgs/development/tools/analysis/garcosim/tracefilegen/builder.sh new file mode 100644 index 0000000000000..6c66eb25ba31d --- /dev/null +++ b/pkgs/development/tools/analysis/garcosim/tracefilegen/builder.sh @@ -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/" diff --git a/pkgs/development/tools/analysis/garcosim/tracefilegen/default.nix b/pkgs/development/tools/analysis/garcosim/tracefilegen/default.nix new file mode 100644 index 0000000000000..49639943ff27c --- /dev/null +++ b/pkgs/development/tools/analysis/garcosim/tracefilegen/default.nix @@ -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 = "69b056298cf570debd3718b2e2cb7e63ad9465919c8190cf38043791ce61d0d6"; + }; + + 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; + }; + +} diff --git a/pkgs/development/tools/analysis/garcosim/tracefilesim/default.nix b/pkgs/development/tools/analysis/garcosim/tracefilesim/default.nix new file mode 100644 index 0000000000000..0de094714327f --- /dev/null +++ b/pkgs/development/tools/analysis/garcosim/tracefilesim/default.nix @@ -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 = "22dfb60d1680ce6c98d60d12c0d0950073f02359605fcdef625e3049bca07809"; + }; + + 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; + }; + +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index edb0e489a7738..dd735a846eed8 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -3521,6 +3521,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 {}; |