files1=gprog modunits.py blocksize_optimizer.py

default: build go
	/bin/true

build:
	# Note that I have only unit-tested the type-annotated version. I have not done a clone with it yet. Feb 25 2021.
	set -o pipefail; python3 -m mypy --strict --ignore-missing-imports ${files1} | mtee -q -s 'head -15' echo 'wc -l'

go:
	./gprog

clean:
	rm -rf .mypy_cache unprocessed-input __pycache__