Merge pull request #176263 from SuperSandro2000/mypy-2

This commit is contained in:
Sandro 2022-06-05 13:18:36 +02:00 committed by GitHub
commit 2db97cb047
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,20 +1,30 @@
{ lib, fetchPypi, buildPythonPackage, typing, pythonOlder }:
{ lib
, fetchFromGitHub
, buildPythonPackage
, typing
, python
, pythonOlder
}:
buildPythonPackage rec {
pname = "mypy-extensions";
version = "0.4.3";
# Tests not included in pip package.
doCheck = false;
src = fetchPypi {
inherit version;
pname = "mypy_extensions";
sha256 = "2d82818f5bb3e369420cb3c4060a7970edba416647068eb4c5343488a6c604a8";
src = fetchFromGitHub {
owner = "python";
repo = "mypy_extensions";
rev = version;
sha256 = "sha256-JjhbxX5DBAbcs1o2fSWywz9tot792q491POXiId+NyI=";
};
propagatedBuildInputs = lib.optional (pythonOlder "3.5") typing;
checkPhase = ''
${python.interpreter} -m unittest discover tests
'';
pythonImportsCheck = [ "mypy_extensions" ];
meta = with lib; {
description = "Experimental type system extensions for programs checked with the mypy typechecker";
homepage = "http://www.mypy-lang.org";