| # Copyright lowRISC contributors. | |
| # Licensed under the Apache License, Version 2.0, see LICENSE for details. | |
| # SPDX-License-Identifier: Apache-2.0 | |
| .PHONY: all | |
| all: lint | |
| # We need a directory to build stuff and use the "util/reggen" namespace | |
| # in the top-level build-bin directory. | |
| repo-top := ../.. | |
| build-dir := $(repo-top)/build-bin/util/reggen | |
| $(build-dir): | |
| mkdir -p $@ | |
| # Reggen code that doesn't yet have typing annotations | |
| mypy-excls := gen_json.py gen_selfdoc.py | |
| py-files := $(filter-out $(mypy-excls),$(wildcard *.py)) | |
| $(build-dir)/mypy.stamp: $(py-files) | $(build-dir) | |
| mypy --strict --config $(repo-top)/mypy.ini $^ | |
| touch $@ | |
| .PHONY: lint | |
| lint: $(build-dir)/mypy.stamp |