1{ lib
2, buildPythonPackage
3, fetchPypi
4, fetchFromGitHub
5, poetry
6, docstring-to-markdown
7, jedi
8, pygls
9, pytestCheckHook
10, pyhamcrest
11, python-jsonrpc-server
12}:
13
14buildPythonPackage rec {
15 pname = "jedi-language-server";
16 version = "0.37.0";
17 format = "pyproject";
18
19 src = fetchFromGitHub {
20 owner = "pappasam";
21 repo = pname;
22 rev = "refs/tags/v${version}";
23 sha256 = "sha256-5il12WDmUkdud9zTpzTaoSXEqOaK15Ut3/fUAX422fA=";
24 };
25
26 nativeBuildInputs = [
27 poetry
28 ];
29
30 propagatedBuildInputs = [
31 docstring-to-markdown
32 jedi
33 pygls
34 ];
35
36 checkInputs = [
37 pytestCheckHook
38 pyhamcrest
39 python-jsonrpc-server
40 ];
41
42 preCheck = ''
43 HOME="$(mktemp -d)"
44 '';
45
46 pythonImportsCheck = [
47 "jedi_language_server"
48 ];
49
50 meta = with lib; {
51 homepage = "https://github.com/pappasam/jedi-language-server";
52 description = "A Language Server for the latest version(s) of Jedi";
53 license = licenses.mit;
54 maintainers = with maintainers; [ doronbehar ];
55 };
56}