2016-05-09 13:43:43 +01:00
|
|
|
{ stdenv, fetchgit }:
|
|
|
|
|
|
|
|
stdenv.mkDerivation {
|
|
|
|
|
|
|
|
name = "tracefilesim-2015-11-07";
|
2016-05-19 09:27:57 +01:00
|
|
|
|
2016-05-09 13:43:43 +01:00
|
|
|
src = fetchgit {
|
|
|
|
url = "https://github.com/GarCoSim/TraceFileSim.git";
|
|
|
|
rev = "368aa6b1d6560e7ecbd16fca47000c8f528f3da2";
|
2016-05-19 09:27:57 +01:00
|
|
|
sha256 = "156m92k38ap4bzidbr8dzl065rni8lrib71ih88myk9z5y1x5nxm";
|
2016-05-09 13:43:43 +01:00
|
|
|
};
|
2016-05-19 09:27:57 +01:00
|
|
|
|
2016-08-02 18:11:29 +01:00
|
|
|
hardeningDisable = [ "fortify" ];
|
|
|
|
|
2016-05-09 13:43:43 +01:00
|
|
|
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.";
|
2017-08-01 21:03:30 +01:00
|
|
|
homepage = https://github.com/GarCoSim;
|
2016-05-09 13:43:43 +01:00
|
|
|
maintainers = [ maintainers.cmcdragonkai ];
|
2016-06-07 02:57:21 +01:00
|
|
|
license = licenses.gpl2;
|
2016-05-09 13:43:43 +01:00
|
|
|
platforms = platforms.linux;
|
|
|
|
};
|
|
|
|
|
|
|
|
}
|