Start linting with mypy

2021-09-10 14:41:51 +02:00 · 2021-09-10 14:41:51 +02:00 · 3dbc1205d0
commit 3dbc1205d0
parent ceb40ee216
13 changed files with 24 additions and 6 deletions
--- a/python_apps/pypo/Makefile
+++ b/python_apps/pypo/Makefile
@ -4,6 +4,7 @@ include ../../tools/python.mk

 PIP_INSTALL := --editable .[dev]
 PYLINT_ARG := liquidsoap pypo
+MYPY_ARG := liquidsoap pypo

-lint: .pylint
+lint: .pylint .mypy
 clean: .clean
--- a/python_apps/pypo/setup.py
+++ b/python_apps/pypo/setup.py
@ -40,6 +40,7 @@ setup(
    extras_require={
        "prod": [],
        "dev": [
+            "mypy",
            "pylint",
        ],
    },