Add Make target for type review

Disclaimer: Participation by NIST in the creation of the documentation of mentioned software is not intended to imply a recommendation or endorsement by the National Institute of Standards and Technology, nor is it intended to imply that any specific software is necessarily the best available for the purpose. Signed-off-by: Alex Nelson <[email protected]>
casework · Sep 17, 2024 · 7c2eea1 · 7c2eea1
1 parent df7f145
commit 7c2eea1
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -18,13 +18,24 @@ SHELL := /bin/bash
 
 PYTHON3 ?= python3
 
+py_srcfiles := \
+  generate.py
+
 all: \
   .venv-pre-commit/var/.pre-commit-built.log
 
 .PHONY: \
   check-supply-chain \
   check-supply-chain-pre-commit
 
+.mypy.done.log: \
+  $(py_srcfiles) \
+  .venv.done.log
+	source venv/bin/activate \
+	  && mypy \
+	    --strict $(py_srcfiles)
+	touch $@
+
 # This virtual environment is meant to be built once and then persist, even through 'make clean'.
 # If a recipe is written to remove this flag file, it should first run `pre-commit uninstall`.
 .venv-pre-commit/var/.pre-commit-built.log:

diff --git a/requirements.txt b/requirements.txt
@@ -1 +1,2 @@
 case-utils
+mypy