diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2016-11-07 13:15:18 +0900 |
---|---|---|
committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2016-11-16 12:05:44 +0900 |
commit | db732ac0b839a028a868a180550bb4f55d6e9b4b (patch) | |
tree | f6b13677407a36b0a12462ac15c1b22dd002a504 /Makefile | |
parent | de3e8580c4a2cfaca2c07c794d01c1e8eb0dd384 (diff) | |
download | sphinx-git-db732ac0b839a028a868a180550bb4f55d6e9b4b.tar.gz |
Prepare to type-check using mypy
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -1,6 +1,6 @@ PYTHON ?= python -.PHONY: all style-check clean clean-pyc clean-patchfiles clean-backupfiles \ +.PHONY: all style-check type-check clean clean-pyc clean-patchfiles clean-backupfiles \ clean-generated pylint reindent test covertest build DONT_CHECK = -i build -i dist -i sphinx/style/jquery.js \ @@ -30,11 +30,14 @@ DONT_CHECK = -i build -i dist -i sphinx/style/jquery.js \ -i sphinx/search/tr.py \ -i .tox -all: clean-pyc clean-backupfiles style-check test +all: clean-pyc clean-backupfiles style-check type-check test style-check: @$(PYTHON) utils/check_sources.py $(DONT_CHECK) . +type-check: + mypy sphinx/ + clean: clean-pyc clean-pycache clean-patchfiles clean-backupfiles clean-generated clean-testfiles clean-buildfiles clean-pyc: |