diff options
author | Sandro <sandro.jaeckel@gmail.com> | 2021-01-25 21:09:06 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-25 21:09:06 +0100 |
commit | 5452d8d4d9d86a610c7b84f3a4bff4e0f4aecaf8 (patch) | |
tree | 5ca06adca41520230df632e8ae3a2945c3e4478b /pkgs/development/tools | |
parent | 576ef43e288b4832adb14b1f497488828c8cc921 (diff) | |
parent | 38b140b3e1a7ba55268e4af9c57ae938f0a28289 (diff) |
Merge pull request #110785 from jollheef/pygdbmi-0.10.0.0
Diffstat (limited to 'pkgs/development/tools')
-rw-r--r-- | pkgs/development/tools/misc/gdbgui/default.nix | 47 |
1 files changed, 43 insertions, 4 deletions
diff --git a/pkgs/development/tools/misc/gdbgui/default.nix b/pkgs/development/tools/misc/gdbgui/default.nix index 92338bb0323a..a82ff178c9eb 100644 --- a/pkgs/development/tools/misc/gdbgui/default.nix +++ b/pkgs/development/tools/misc/gdbgui/default.nix @@ -3,6 +3,10 @@ , fetchPypi , gdb , flask +, six +, bidict +, python-engineio +, python-socketio , flask-socketio , flask-compress , pygdbmi @@ -12,14 +16,48 @@ , 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.13.2.1"; + version = "0.14.0.2"; buildInputs = [ gdb ]; propagatedBuildInputs = [ flask - flask-socketio + flask-socketio' flask-compress pygdbmi pygments @@ -30,13 +68,14 @@ buildPythonApplication rec { src = fetchPypi { inherit pname version; - sha256 = "0zn5wi47m8pn4amx574ryyhqvhynipxzyxbx0878ap6g36vh6l1h"; + 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 = '' @@ -52,6 +91,6 @@ buildPythonApplication rec { homepage = "https://www.gdbgui.com/"; license = licenses.gpl3; platforms = platforms.unix; - maintainers = with maintainers; [ yrashk ]; + maintainers = with maintainers; [ yrashk dump_stack ]; }; } |