Makefile: add type-check

diff --git a/Makefile b/Makefile
index 6134edab46a5e41a021011308fc020289649dd3b..4e0e2d8a67b10716bc14bd585573e649dbdef4b5 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -22,6 +22,9 @@ syntax-check:
        flake8 $(FLAKE_OPTS)
        flake8 $(FLAKE_OPTS) $(PY_EXAMPLES)
 
+type-check:
+       mypy gbp
+
 docs:
        $(MAKE) -C docs
        $(MAKE) apidocs