PY ?= python3
.PHONY: validate status build checks lean
validate: ; $(PY) scripts/pmap.py validate
status: ; $(PY) scripts/pmap.py status
build: ; $(PY) scripts/pmap.py build --no-pdf
checks: ; $(PY) scripts/pmap.py selftest
lean: ; $(PY) scripts/pmap.py lean-check my-map
