create mypy_requirements.txt for mypy related deps

Author: manu-chroma

Makefile

@@ -183,6 +183,6 @@ jenkins:
 	. env3/bin/activate ; \
 	pip install -U setuptools pip wheel ; \
 	${MAKE} install-dep ; \
-	pip install -U -r requirements.txt ; ${MAKE} mypy
+	pip install -U -r mypy_requirements.txt ; ${MAKE} mypy
 
 FORCE:

mypy_requirements.txt

@@ -0,0 +1,2 @@
+mypy==0.470 ;  python_version>="3"
+typed-ast==0.6.3 ; python_version>="3"

requirements.txt

@@ -6,6 +6,4 @@ rdflib==4.2.2
 rdflib-jsonld==0.4.0
 mistune==0.7.3
 CacheControl==0.11.7
-lockfile==0.12.2
-mypy==0.470 ;  python_version>="3"
-typed-ast==0.6.3 ; python_version>="3"
+lockfile==0.12.2

tox.ini

@@ -14,12 +14,14 @@ deps = -rrequirements.txt
 commands = make mypy
 whitelist_externals = make
 deps =
+  -rmypy_requirements.txt
   -rrequirements.txt
 
 [testenv:py35-mypy]
 commands = make mypy
 whitelist_externals = make
 deps =
+  -rmypy_requirements.txt
   -rrequirements.txt
 
 [testenv:py35-lint]