From 85b2fb513bdd03666ba864fd83f3cdca2f81333a Mon Sep 17 00:00:00 2001
From: Florian Bruhin <me@the-compiler.org>
Date: Thu, 22 Nov 2018 08:30:28 +0100
Subject: [PATCH] mypy: Add to tox

---
 misc/requirements/requirements-mypy.txt     |  5 +++++
 misc/requirements/requirements-mypy.txt-raw |  1 +
 tox.ini                                     | 10 ++++++++++
 3 files changed, 16 insertions(+)
 create mode 100644 misc/requirements/requirements-mypy.txt
 create mode 100644 misc/requirements/requirements-mypy.txt-raw

diff --git a/misc/requirements/requirements-mypy.txt b/misc/requirements/requirements-mypy.txt
new file mode 100644
index 000000000..3a6548040
--- /dev/null
+++ b/misc/requirements/requirements-mypy.txt
@@ -0,0 +1,5 @@
+# This file is automatically generated by scripts/dev/recompile_requirements.py
+
+mypy==0.641
+mypy-extensions==0.4.1
+typed-ast==1.1.0
diff --git a/misc/requirements/requirements-mypy.txt-raw b/misc/requirements/requirements-mypy.txt-raw
new file mode 100644
index 000000000..f0aa93ac8
--- /dev/null
+++ b/misc/requirements/requirements-mypy.txt-raw
@@ -0,0 +1 @@
+mypy
diff --git a/tox.ini b/tox.ini
index 8e9a54f11..4b80e8dde 100644
--- a/tox.ini
+++ b/tox.ini
@@ -188,3 +188,13 @@ deps =
 whitelist_externals = eslint
 changedir = {toxinidir}/qutebrowser/javascript
 commands = eslint --color --report-unused-disable-directives .
+
+[testenv:mypy]
+basepython = {env:PYTHON:python3}
+passenv =
+deps =
+    -r{toxinidir}/requirements.txt
+    -r{toxinidir}/misc/requirements/requirements-mypy.txt
+commands =
+    #{envpython} -m mypy --ignore-missing-imports --allow-untyped-decorators --allow-subclassing-any --strict src
+    {envpython} -m mypy qutebrowser