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 +++
 Pipfile  | 1 +
 2 files changed, 4 insertions(+)

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/*"
 
diff --git a/Pipfile b/Pipfile
index 1fdec70..786bdcd 100644
--- a/Pipfile
+++ b/Pipfile
@@ -6,6 +6,7 @@ verify_ssl = true
 [dev-packages]
 yapf = "*"
 pylint = "*"
+mypy = "*"
 
 [packages]
 numpy = "*"
-- 
cgit v1.2.3