pkgs/development/tools/misc/gdbgui/default.nix

   1 { lib
   2 , buildPythonApplication
   3 , fetchPypi
   4 , gdb
   5 , eventlet
   6 , flask-compress
   7 , flask-socketio
   8 , pygdbmi
   9 , pygments
  10 , }:
  11
  12 buildPythonApplication rec {
  13   pname = "gdbgui";
  14
  15   version = "0.15.2.0";
  16
  17   buildInputs = [ gdb ];
  18   propagatedBuildInputs = [
  19     eventlet
  20     flask-compress
  21     flask-socketio
  22     pygdbmi
  23     pygments
  24   ];
  25
  26   src = fetchPypi {
  27     inherit pname version;
  28     sha256 = "sha256-vmMlRmjFqhs3Vf+IU9IDtJzt4dZ0yIOmXIVOx5chZPA=";
  29   };
  30
  31   postPatch = ''
  32     echo ${version} > gdbgui/VERSION.txt
  33     # relax version requirements
  34     sed -i 's/==.*$//' requirements.txt
  35   '';
  36
  37   postInstall = ''
  38     wrapProgram $out/bin/gdbgui \
  39       --prefix PATH : ${lib.makeBinPath [ gdb ]}
  40   '';
  41
  42   # tests do not work without stdout/stdin
  43   doCheck = false;
  44
  45   meta = with lib; {
  46     description = "A browser-based frontend for GDB";
  47     mainProgram = "gdbgui";
  48     homepage = "https://www.gdbgui.com/";
  49     license = licenses.gpl3;
  50     platforms = platforms.unix;
  51     maintainers = with maintainers; [ yrashk dump_stack ];
  52   };
  53 }