2021-01-25 00:26:54 -08:00
|
|
|
{ lib
|
2018-10-15 20:37:11 -07:00
|
|
|
, buildPythonPackage
|
|
|
|
, fetchPypi
|
|
|
|
, isPyPy
|
|
|
|
, pkgs
|
|
|
|
}:
|
|
|
|
|
|
|
|
buildPythonPackage rec {
|
2019-07-19 22:53:46 -07:00
|
|
|
version = "8.0.0";
|
2018-10-15 20:37:11 -07:00
|
|
|
pname = "gnureadline";
|
|
|
|
disabled = isPyPy;
|
|
|
|
|
|
|
|
src = fetchPypi {
|
|
|
|
inherit pname version;
|
2019-07-19 22:53:46 -07:00
|
|
|
sha256 = "0xllr43dizvybmb68i0ybk1xhaqx5abjwxa9vrg43b9ds0pggvk1";
|
2018-10-15 20:37:11 -07:00
|
|
|
};
|
|
|
|
|
|
|
|
buildInputs = [ pkgs.ncurses ];
|
|
|
|
patchPhase = ''
|
|
|
|
substituteInPlace setup.py --replace "/bin/bash" "${pkgs.bash}/bin/bash"
|
|
|
|
'';
|
|
|
|
|
2021-01-10 23:54:33 -08:00
|
|
|
meta = with lib; {
|
2018-10-15 20:37:11 -07:00
|
|
|
description = "The standard Python readline extension statically linked against the GNU readline library";
|
2020-03-31 18:11:51 -07:00
|
|
|
homepage = "https://github.com/ludwigschwardt/python-gnureadline";
|
2018-10-15 20:37:11 -07:00
|
|
|
license = licenses.gpl3;
|
|
|
|
};
|
|
|
|
|
|
|
|
}
|