54e20c2361
- add eventlet to propagatedBuildInputs
- add homepage
- add gevent-websocket to propagatedBuildInputs
Without gevent-websocket, this message is printed on start:
"WARNING - WebSocket transport not available.
Install gevent-websocket for improved performance."
- Add gevent-websocket to propagatedBuildInputs to suppress the error
message and supposedly improve performance
58 lines
1.1 KiB
Nix
58 lines
1.1 KiB
Nix
{ stdenv
|
|
, buildPythonApplication
|
|
, fetchPypi
|
|
, gdb
|
|
, flask
|
|
, flask-socketio
|
|
, flask-compress
|
|
, pygdbmi
|
|
, pygments
|
|
, gevent
|
|
, gevent-websocket
|
|
, eventlet
|
|
, }:
|
|
|
|
buildPythonApplication rec {
|
|
pname = "gdbgui";
|
|
version = "0.13.2.1";
|
|
|
|
buildInputs = [ gdb ];
|
|
propagatedBuildInputs = [
|
|
flask
|
|
flask-socketio
|
|
flask-compress
|
|
pygdbmi
|
|
pygments
|
|
gevent
|
|
gevent-websocket
|
|
eventlet
|
|
];
|
|
|
|
src = fetchPypi {
|
|
inherit pname version;
|
|
sha256 = "0zn5wi47m8pn4amx574ryyhqvhynipxzyxbx0878ap6g36vh6l1h";
|
|
};
|
|
|
|
postPatch = ''
|
|
echo ${version} > gdbgui/VERSION.txt
|
|
# remove upper version bound
|
|
sed -ie 's!, <.*"!"!' setup.py
|
|
'';
|
|
|
|
postInstall = ''
|
|
wrapProgram $out/bin/gdbgui \
|
|
--prefix PATH : ${stdenv.lib.makeBinPath [ gdb ]}
|
|
'';
|
|
|
|
# tests do not work without stdout/stdin
|
|
doCheck = false;
|
|
|
|
meta = with stdenv.lib; {
|
|
description = "A browser-based frontend for GDB";
|
|
homepage = "https://www.gdbgui.com/";
|
|
license = licenses.gpl3;
|
|
platforms = platforms.unix;
|
|
maintainers = with maintainers; [ yrashk ];
|
|
};
|
|
}
|