pyrox.dev
mypy: 0.790 → 0.812
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
+5
-29
pkgs/development/python-modules/mypy/default.nix
+5
-29
pkgs/development/python-modules/mypy/default.nix
···
1
-
{ lib, stdenv, fetchFromGitHub, buildPythonPackage, typed-ast, psutil, isPy3k
2
, mypy-extensions
3
, typing-extensions
4
-
, fetchpatch
5
}:
6
buildPythonPackage rec {
7
pname = "mypy";
8
-
version = "0.790";
9
disabled = !isPy3k;
10
11
-
# Fetch 0.790 from GitHub temporarily because mypyc.analysis is missing from
12
-
# the Pip package (see also https://github.com/python/mypy/issues/9584). It
13
-
# should be possible to move back to Pypi for the next release.
14
-
src = fetchFromGitHub {
15
-
owner = "python";
16
-
repo = pname;
17
-
rev = "v${version}";
18
-
sha256 = "0zq3lpdf9hphcklk40wz444h8w3dkhwa12mqba5j9lmg11klnhz7";
19
-
fetchSubmodules = true;
20
};
21
22
propagatedBuildInputs = [ typed-ast psutil mypy-extensions typing-extensions ];
···
32
"mypy.report"
33
"mypyc"
34
"mypyc.analysis"
35
-
];
36
-
37
-
# These three patches are required to make compilation with mypyc work for
38
-
# 0.790, see also https://github.com/python/mypy/issues/9584.
39
-
patches = [
40
-
(fetchpatch {
41
-
url = "https://github.com/python/mypy/commit/f6522ae646a8d87ce10549f29fcf961dc014f154.patch";
42
-
sha256 = "0d3jp4d0b7vdc0prk07grhajsy7x3wcynn2xysnszawiww93bfrh";
43
-
})
44
-
(fetchpatch {
45
-
url = "https://github.com/python/mypy/commit/acd603496237a78b109ca9d89991539633cbbb99.patch";
46
-
sha256 = "0ry1rxpz2ws7zzrmq09pra9dlzxb84zhs8kxwf5xii1k1bgmrljr";
47
-
})
48
-
(fetchpatch {
49
-
url = "https://github.com/python/mypy/commit/81818b23b5d53f31caf3515d6f0b54e3c018d790.patch";
50
-
sha256 = "002y24kfscywkw4mz9lndsps543j4xhr2kcnfbrqr4i0yxlvdbca";
51
-
})
52
];
53
54
# Compile mypy with mypyc, which makes mypy about 4 times faster. The compiled
···
1
+
{ lib, stdenv, fetchPypi, buildPythonPackage, typed-ast, psutil, isPy3k
2
, mypy-extensions
3
, typing-extensions
4
}:
5
buildPythonPackage rec {
6
pname = "mypy";
7
+
version = "0.812";
8
disabled = !isPy3k;
9
10
+
src = fetchPypi {
11
+
inherit pname version;
12
+
sha256 = "069i9qnfanp7dn8df1vspnqb0flvsszzn22v00vj08nzlnd061yd";
13
};
14
15
propagatedBuildInputs = [ typed-ast psutil mypy-extensions typing-extensions ];
···
25
"mypy.report"
26
"mypyc"
27
"mypyc.analysis"
28
];
29
30
# Compile mypy with mypyc, which makes mypy about 4 times faster. The compiled