[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
13/21: gnu: Add python-mypy.
From: |
guix-commits |
Subject: |
13/21: gnu: Add python-mypy. |
Date: |
Wed, 29 Jul 2020 18:58:54 -0400 (EDT) |
mbakke pushed a commit to branch master
in repository guix.
commit 4fae4f9aab806451535db032b43cba558668cf64
Author: Tanguy Le Carrour <tanguy@bioneland.org>
AuthorDate: Mon Jul 27 10:00:51 2020 +0200
gnu: Add python-mypy.
* gnu/packages/python-check.scm (python-mypy): New variable.
Signed-off-by: Marius Bakke <marius@gnu.org>
---
gnu/packages/python-check.scm | 50 +++++++++++++++++++++++++++++++++++++++++++
1 file changed, 50 insertions(+)
diff --git a/gnu/packages/python-check.scm b/gnu/packages/python-check.scm
index 0279a0a..51b8649 100644
--- a/gnu/packages/python-check.scm
+++ b/gnu/packages/python-check.scm
@@ -31,6 +31,7 @@
#:use-module (gnu packages python-web)
#:use-module (gnu packages python-xyz)
#:use-module (gnu packages web)
+ #:use-module (gnu packages xml)
#:use-module (guix utils)
#:use-module ((guix licenses) #:prefix license:)
#:use-module (guix packages)
@@ -839,3 +840,52 @@ the implementation of that name.")
experimental extensions to the standard @code{typing} module that are
supported by the MyPy typechecker.")
(license license:expat)))
+
+(define-public python-mypy
+ (package
+ (name "python-mypy")
+ (version "0.782")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (pypi-uri "mypy" version))
+ (sha256
+ (base32
+ "030kn709515452n6gy2i1d9fg6fyrkmdz228lfpmbslybsld9xzg"))))
+ (build-system python-build-system)
+ (arguments
+ `(#:phases
+ (modify-phases %standard-phases
+ (replace 'check
+ (lambda _
+ (invoke "./runtests.py")
+ #t)))))
+ (native-inputs
+ `(("python-attrs" ,python-attrs)
+ ("python-flake8" ,python-flake8)
+ ("python-flake8-bugbear" ,python-flake8-bugbear)
+ ("python-flake8-pyi" ,python-flake8-pyi)
+ ("python-importlib-metadata" ,python-importlib-metadata)
+ ("python-lxml" ,python-lxml)
+ ("python-psutil" ,python-psutil)
+ ("python-py" ,python-py)
+ ("python-pytest" ,python-pytest)
+ ("python-pytest-cov" ,python-pytest-cov)
+ ("python-pytest-forked" ,python-pytest-forked)
+ ("python-pytest-xdist" ,python-pytest-xdist)
+ ("python-virtualenv" ,python-virtualenv)))
+ (propagated-inputs
+ `(("python-mypy-extensions" ,python-mypy-extensions)
+ ("python-typing-extensions" ,python-typing-extensions)
+ ("python-typed-ast" ,python-typed-ast)))
+ (home-page "http://www.mypy-lang.org/")
+ (synopsis "Static type checker for Python")
+ (description "Mypy is an optional static type checker for Python that aims
+to combine the benefits of dynamic (or 'duck') typing and static typing. Mypy
combines
+the expressive power and convenience of Python with a powerful type system and
+compile-time type checking. Mypy type checks standard Python programs; run
them using
+any Python VM with basically no runtime overhead.")
+ ;; Most of the code is under MIT license; Some files are under Python
Software
+ ;; Foundation License version 2: stdlib-samples/*,
mypyc/lib-rt/pythonsupport.h and
+ ;; mypyc/lib-rt/getargs.c
+ (license (list license:expat license:psfl))))
- 03/21: gnu: clang: Only install cfi_blacklist.txt for versions >= 3.8., (continued)
- 03/21: gnu: clang: Only install cfi_blacklist.txt for versions >= 3.8., guix-commits, 2020/07/29
- 08/21: gnu: Add python-libcst., guix-commits, 2020/07/29
- 01/21: gnu: json-modern-cxx: Update to 3.9.0., guix-commits, 2020/07/29
- 04/21: gnu: Add nfs4-acl-tools., guix-commits, 2020/07/29
- 05/21: gnu: Add python-mypy-extensions., guix-commits, 2020/07/29
- 06/21: gnu: Add python-typing-inspect., guix-commits, 2020/07/29
- 07/21: gnu: Add python-hypothesis-5.23., guix-commits, 2020/07/29
- 09/21: gnu: Add python-lark-parser., guix-commits, 2020/07/29
- 10/21: gnu: Add python-hypothesmith., guix-commits, 2020/07/29
- 14/21: gnu: python-slugify: Update to 4.0.1., guix-commits, 2020/07/29
- 13/21: gnu: Add python-mypy.,
guix-commits <=
- 15/21: gnu: csvkit: Fix problem caused by the update of python-slugify., guix-commits, 2020/07/29
- 11/21: gnu: Add python-flake8-bugbear., guix-commits, 2020/07/29
- 12/21: gnu: Add python-flake8-pyi., guix-commits, 2020/07/29
- 18/21: gnu: mumble: Update to 1.3.2., guix-commits, 2020/07/29
- 16/21: gnu: python-cookiecutter: Update to 1.7.2., guix-commits, 2020/07/29
- 17/21: gnu: python-slugify: Remove unused input., guix-commits, 2020/07/29
- 21/21: gnu: python-sqlparse: Update to 0.3.1., guix-commits, 2020/07/29
- 19/21: gnu: gnunet-gtk: Update to 0.13.1., guix-commits, 2020/07/29
- 20/21: gnu: krita: Update to 4.3.0., guix-commits, 2020/07/29