From 49fbbb730a47b5f97f9e956d9b7c6cf8616812a5 Mon Sep 17 00:00:00 2001
From: Florian Fischer <florian.fl.fischer@fau.de>
Date: Sat, 11 Jul 2020 16:59:33 +0200
Subject: [make] add check-mypy target and add mypy as dev dependency

---
 Makefile | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 51e6153..96a1c6d 100644
--- a/Makefile
+++ b/Makefile
@@ -56,6 +56,9 @@ format:
 check-format:
 	yapf -d $(PYTHONFILES)
 
+check-mypy:
+	mypy $(PYTHONFILES)
+
 tags:
 	ctags -R --exclude="build/*" --exclude="cache/*" --exclude="doc/*" --exclude="results/*"
 
-- 
cgit v1.2.3