diff --git a/lib/maintainers.nix b/lib/maintainers.nix index 35aa1bb4008..b98a0ab76c7 100644 --- a/lib/maintainers.nix +++ b/lib/maintainers.nix @@ -76,6 +76,7 @@ choochootrain = "Hurshal Patel "; christopherpoole = "Christopher Mark Poole "; cleverca22 = "Michael Bishop "; + cmcdragonkai = "Roger Qiu "; coconnor = "Corey O'Connor "; codsl = "codsl "; codyopel = "Cody Opel "; 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 00000000000..6c66eb25ba3 --- /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 00000000000..c290aefe31b --- /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 = "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; + }; + +} 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 00000000000..01299966eb1 --- /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 = "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; + }; + +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index c7b165ce32b..c180b3ca39f 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -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 {};