diff options
| author | Taku Fukada <naninunenor@gmail.com> | 2020-08-04 14:53:42 +0900 |
|---|---|---|
| committer | Taku Fukada <naninunenor@gmail.com> | 2020-08-04 20:41:34 +0900 |
| commit | 9582cc5bd599c16d43a54d499ebda2a54c9f4bfd (patch) | |
| tree | 0a05f9c5ef0528da4464a7fe64c4c0c4fe3007a3 /Makefile | |
| parent | c394af412837f96164ebcc88d5301bece19e4a6f (diff) | |
Add `make check-stubs` for validating Python stubs
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -245,6 +245,10 @@ stubs: @$(PYTHON) tools/extract_pyi.py ports/atmel-samd/bindings $(STUBDIR) @$(PYTHON) setup.py -q sdist +.PHONY: check-stubs +check-stubs: stubs + MYPYPATH=$(STUBDIR) mypy --strict $(STUBDIR) + update-frozen-libraries: @echo "Updating all frozen libraries to latest tagged version." cd frozen; for library in *; do cd $$library; ../../tools/git-checkout-latest-tag.sh; cd ..; done |