Merge pull request #217634 from tehmatt/tehmatt-gdbgui

gdbgui: 0.15.0.1 -> 0.15.1.0
This commit is contained in:
Nikolay Korotkiy 2023-03-19 14:25:19 +04:00 committed by GitHub
commit f8ac00dd80
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,8 +2,9 @@
, buildPythonApplication
, fetchPypi
, gdb
, flask-socketio
, eventlet
, flask-compress
, flask-socketio
, pygdbmi
, pygments
, }:
@ -11,26 +12,26 @@
buildPythonApplication rec {
pname = "gdbgui";
version = "0.15.0.1";
version = "0.15.1.0";
buildInputs = [ gdb ];
propagatedBuildInputs = [
flask-socketio
eventlet
flask-compress
flask-socketio
pygdbmi
pygments
];
src = fetchPypi {
inherit pname version;
sha256 = "sha256-bwrleLn3GBx4Mie2kujtaUo+XCALM+hRLySIZERlBg0=";
sha256 = "sha256-YcD3om7N6yddm02It6/fjXDsVHG0Cs46fdGof0PMJXM=";
};
postPatch = ''
echo ${version} > gdbgui/VERSION.txt
# remove upper version bound
sed -ie 's!,.*<.*!!' requirements.in
# relax version requirements
sed -i 's/==.*$//' requirements.txt
'';
postInstall = ''