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/development/tools/analysis | |
parent | d2387e3c4a71ee83f29733710bd9af7ca0a7ce49 (diff) | |
download | nixlib-c02bc80d863e875458c6611033b1becbc73693c2.tar nixlib-c02bc80d863e875458c6611033b1becbc73693c2.tar.gz nixlib-c02bc80d863e875458c6611033b1becbc73693c2.tar.bz2 nixlib-c02bc80d863e875458c6611033b1becbc73693c2.tar.lz nixlib-c02bc80d863e875458c6611033b1becbc73693c2.tar.xz nixlib-c02bc80d863e875458c6611033b1becbc73693c2.tar.zst nixlib-c02bc80d863e875458c6611033b1becbc73693c2.zip |
garcosim: Added tracefilegen and tracefilesim
Diffstat (limited to 'pkgs/development/tools/analysis')
3 files changed, 68 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 000000000000..6c66eb25ba31 --- /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 000000000000..49639943ff27 --- /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 000000000000..0de094714327 --- /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; + }; + +} |