python3.pkgs.python-language-server: fix jedi integration

recent jedi/parso versions uses Path instead of str.
This commit is contained in:
Jörg Thalheim 2020-09-05 11:47:11 +02:00 committed by Jon
parent 12a9a93d68
commit b99096b1f0

View file

@ -1,4 +1,4 @@
{ stdenv, buildPythonPackage, fetchFromGitHub, pythonOlder, isPy27
{ stdenv, buildPythonPackage, fetchFromGitHub, fetchpatch, pythonOlder, isPy27
, backports_functools_lru_cache, configparser, futures, future, jedi, pluggy, python-jsonrpc-server, flake8
, pytestCheckHook, mock, pytestcov, coverage, setuptools, ujson
, # Allow building a limited set of providers, e.g. ["pycodestyle"].
@ -30,6 +30,14 @@ buildPythonPackage rec {
sha256 = "sha256-/tVzaoyUO6+7DSvnf3JxpcTY0rU+hHBu5qlru/ZTpxU=";
};
patches = [
# https://github.com/palantir/python-language-server/pull/851
(fetchpatch {
url = "https://github.com/palantir/python-language-server/commit/f513f3297132492dd41e001d943980e6c4f40809.patch";
sha256 = "04c9hrb3dzlfchjk4625ipazyfcbq6qq2kj2hg3zf2xsny2jcvi5";
})
];
postPatch = ''
# https://github.com/palantir/python-jsonrpc-server/issues/36
sed -i -e 's!ujson<=!ujson>=!' setup.py