summary refs log tree commit diff
path: root/pkgs/development/tools/misc/gdbgui/default.nix
blob: a82ff178c9eb7b2531c40acf07c8f413b1ea9fca (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
{ lib
, buildPythonApplication
, fetchPypi
, gdb
, flask
, six
, bidict
, python-engineio
, python-socketio
, flask-socketio
, flask-compress
, pygdbmi
, pygments
, gevent
, gevent-websocket
, eventlet
, }:

let
  # gdbgui only works with the latest previous major version of flask-socketio,
  # which depends itself on the latest previous major versions of dependencies.
  python-engineio' = python-engineio.overridePythonAttrs (old: rec {
    version = "3.14.2";
    src = fetchPypi {
      inherit (old) pname;
      inherit version;
      sha256 = "119halljynqsgswlhlh750qv56js1p7j52sc0nbwxh8450zmbd7a";
    };
    propagatedBuildInputs = [ six ];
    doCheck = false;
  });
  python-socketio' = python-socketio.overridePythonAttrs (old: rec {
    version = "4.6.1";
    src = fetchPypi {
      inherit (old) pname;
      inherit version;
      sha256 = "047syhrrxh327p0fnab0d1zy25zijnj3gs1qg3kjpsy1jaj5l7yd";
    };
    propagatedBuildInputs = [ bidict python-engineio' ];
    doCheck = false;
  });
  flask-socketio' = flask-socketio.overridePythonAttrs (old: rec {
    version = "4.3.2";
    src = fetchPypi {
      inherit (old) pname;
      inherit version;
      sha256 = "0s2xs9kv9cbwy8bcxszhdwlcb9ldv0fj33lwilf5vypj0wsin01p";
    };
    propagatedBuildInputs = [ flask python-socketio' ];
    doCheck = false;
  });
in
buildPythonApplication rec {
  pname = "gdbgui";
  version = "0.14.0.2";

  buildInputs = [ gdb ];
  propagatedBuildInputs = [
    flask
    flask-socketio'
    flask-compress
    pygdbmi
    pygments
    gevent
    gevent-websocket
    eventlet
  ];

  src = fetchPypi {
    inherit pname version;
    sha256 = "1v6wwsncgnhlg5c7gsmzcp52hfblfnz5kf5pk4d0zybflsxak02d";
  };

  postPatch = ''
    echo ${version} > gdbgui/VERSION.txt
    # remove upper version bound
    sed -ie 's!, <.*"!"!' setup.py
    sed -i 's/greenlet==/greenlet>=/' setup.py
  '';

  postInstall = ''
    wrapProgram $out/bin/gdbgui \
      --prefix PATH : ${lib.makeBinPath [ gdb ]}
  '';

  # tests do not work without stdout/stdin
  doCheck = false;

  meta = with lib; {
    description = "A browser-based frontend for GDB";
    homepage = "https://www.gdbgui.com/";
    license = licenses.gpl3;
    platforms = platforms.unix;
    maintainers = with maintainers; [ yrashk dump_stack ];
  };
}