2018-08-10 13:22:59 +01:00
|
|
|
{ lib, buildPythonPackage, fetchFromGitHub
|
2018-05-24 12:41:42 +01:00
|
|
|
, future, python-language-server, mypy, configparser
|
|
|
|
, pytest, mock, isPy3k, pytestcov, coverage
|
|
|
|
}:
|
|
|
|
|
|
|
|
buildPythonPackage rec {
|
|
|
|
pname = "pyls-mypy";
|
2018-08-10 13:22:59 +01:00
|
|
|
version = "0.1.3";
|
2018-05-24 12:41:42 +01:00
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "tomv564";
|
|
|
|
repo = "pyls-mypy";
|
|
|
|
rev = version;
|
2018-08-10 13:22:59 +01:00
|
|
|
sha256 = "0v7ghcd1715lxlfq304b7xhchp31ahdd89lf6za4n0l59dz74swh";
|
2018-05-24 12:41:42 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
disabled = !isPy3k;
|
|
|
|
|
|
|
|
checkPhase = ''
|
|
|
|
HOME=$TEMPDIR pytest
|
|
|
|
'';
|
|
|
|
|
|
|
|
checkInputs = [ pytest mock pytestcov coverage ];
|
|
|
|
|
|
|
|
propagatedBuildInputs = [
|
|
|
|
mypy python-language-server future configparser
|
|
|
|
];
|
|
|
|
|
|
|
|
meta = with lib; {
|
2018-08-10 13:22:59 +01:00
|
|
|
homepage = https://github.com/tomv564/pyls-mypy;
|
|
|
|
description = "Mypy plugin for the Python Language Server";
|
2018-05-24 12:41:42 +01:00
|
|
|
license = licenses.mit;
|
|
|
|
maintainers = [ maintainers.mic92 ];
|
|
|
|
};
|
|
|
|
}
|