blob: ae7e1b01cbe6cc0ad0abc58bdbb60d7b7a4c1557 (
plain)
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
|
{
lib,
python3Packages,
fetchPypi,
gdb,
}:
python3Packages.buildPythonApplication (finalAttrs: {
pname = "gdbgui";
version = "0.15.3.0";
pyproject = true;
__structuredAttrs = true;
src = fetchPypi {
inherit (finalAttrs) pname version;
hash = "sha256-/HyFE0JnoN03CDyCQCo/Y9RyH4YOMoeB7khReIb8t7Y=";
};
postPatch = ''
echo ${finalAttrs.version} > gdbgui/VERSION.txt
# relax version requirements
sed -i 's/==.*$//' requirements.txt
'';
build-system = with python3Packages; [ setuptools ];
buildInputs = [ gdb ];
dependencies = with python3Packages; [
eventlet
flask-compress
flask-socketio
pygdbmi
pygments
];
postInstall = ''
wrapProgram $out/bin/gdbgui \
--prefix PATH : ${lib.makeBinPath [ gdb ]}
'';
# tests do not work without stdout/stdin
doCheck = false;
meta = {
description = "Browser-based frontend for GDB";
mainProgram = "gdbgui";
homepage = "https://www.gdbgui.com/";
license = lib.licenses.gpl3;
platforms = lib.platforms.unix;
maintainers = with lib.maintainers; [
yrashk
dump_stack
];
};
})
|
