always install types if needed when running mypy

diff --git a/Makefile b/Makefile
index f5e54389d87b2837962515cdb81db6b47dde9995..bbf1b5008a5bec72bc64fd25c64cfe31523cb404 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -56,7 +56,7 @@ potestlf:
        poetry run pytest --lf
 
 potype:
-       poetry run python -m mypy --disallow-incomplete-defs dns
+       poetry run python -m mypy --install-types --non-interactive --disallow-incomplete-defs dns
 
 potypetests:
        poetry run python -m mypy --check-untyped-defs examples tests