Merge pull request #76490 from plapadoo/gprof2dot-2019-11-30

gprof2dot: 2017-09-19 -> 2019-11-30
This commit is contained in:
Mario Rodas 2019-12-26 09:35:58 -05:00 committed by GitHub
commit 87013356e1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,20 +1,20 @@
{ lib, fetchFromGitHub, buildPythonApplication, python, graphviz }:
buildPythonApplication {
name = "gprof2dot-2017-09-19";
name = "gprof2dot-2019-11-30";
src = fetchFromGitHub {
owner = "jrfonseca";
repo = "gprof2dot";
rev = "2017.09.19";
sha256 = "1b5wvjv5ykbhz7aix7l3y7mg1hxi0vgak4a49gr92sdlz8blj51v";
rev = "2019.11.30";
sha256 = "1nw4cfwimd0djarw4wc756q095xir78js8flmycg6g7sl3l6p27s";
};
checkInputs = [ graphviz ];
checkPhase = "${python.interpreter} tests/test.py";
meta = with lib; {
homepage = https://github.com/jrfonseca/gprof2dot;
homepage = "https://github.com/jrfonseca/gprof2dot";
description = "Python script to convert the output from many profilers into a dot graph";
license = licenses.lgpl3Plus;
maintainers = [ maintainers.pmiddend ];