diff options
| author |   Eli Schwartz <eschwartz93@gmail.com> | 2023-09-03 23:51:17 -0400 |
|---|---|---|
| committer |   Michał Górny <mgorny@gentoo.org> | 2023-10-10 22:47:18 +0200 |
| commit | 88375f2b92ba6c710b1d3eef9210ef21f83ccd66 (patch) | |
| tree | 09c10cb456519bfb8acd336e492ef96041e7fffc /dev-python/mypy/metadata.xml | |
| parent | dev-python/types-setuptools: new package, add 68.1.0.1 (diff) | |
| download | gentoo-88375f2b92ba6c710b1d3eef9210ef21f83ccd66.tar.gz gentoo-88375f2b92ba6c710b1d3eef9210ef21f83ccd66.tar.bz2 gentoo-88375f2b92ba6c710b1d3eef9210ef21f83ccd66.zip | |
dev-python/mypy: add native extensions support
mypy can compile itself via mypyc, which requires that it fully pass
mypy typechecking; this means we need to have type stubs for its runtime
dependencies.
Signed-off-by: Eli Schwartz <eschwartz93@gmail.com>
Closes: https://github.com/gentoo/gentoo/pull/32598
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'dev-python/mypy/metadata.xml')
| -rw-r--r-- | dev-python/mypy/metadata.xml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/dev-python/mypy/metadata.xml b/dev-python/mypy/metadata.xml index 01c4182eef50..4d450db3cd4d 100644 --- a/dev-python/mypy/metadata.xml +++ b/dev-python/mypy/metadata.xml @@ -12,4 +12,11 @@ <bugs-to>https://github.com/python/mypy/issues</bugs-to> <doc>https://mypy.readthedocs.io/</doc> </upstream> + <use> + <flag name="native-extensions"> + Compiles native C extensions (speedups, instead of using Python + fallback code). + </flag> + </use> + </pkgmetadata> |