2019-01-25 15:18:41 +00:00
|
|
|
{ lib, fetchFromGitHub, buildPythonApplication }:
|
2015-04-28 19:54:01 +01:00
|
|
|
|
2019-01-25 15:18:41 +00:00
|
|
|
buildPythonApplication {
|
|
|
|
name = "gprof2dot-2017-09-19";
|
2015-04-28 19:54:01 +01:00
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "jrfonseca";
|
|
|
|
repo = "gprof2dot";
|
2019-01-25 15:18:41 +00:00
|
|
|
rev = "2017.09.19";
|
|
|
|
sha256 = "1b5wvjv5ykbhz7aix7l3y7mg1hxi0vgak4a49gr92sdlz8blj51v";
|
2015-04-28 19:54:01 +01:00
|
|
|
};
|
|
|
|
|
2019-01-25 15:18:41 +00:00
|
|
|
meta = with lib; {
|
2017-08-01 21:03:30 +01:00
|
|
|
homepage = https://github.com/jrfonseca/gprof2dot;
|
2015-04-28 19:54:01 +01:00
|
|
|
description = "Python script to convert the output from many profilers into a dot graph";
|
|
|
|
license = licenses.lgpl3Plus;
|
|
|
|
platforms = platforms.linux;
|
2019-01-25 15:18:41 +00:00
|
|
|
maintainers = [ maintainers.pmiddend ];
|
2015-04-28 19:54:01 +01:00
|
|
|
};
|
|
|
|
}
|