| # 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 "otbn/otbnsim" namespace |
| # in the top-level build-bin directory. |
| repo-top := ../../../.. |
| build-dir := $(repo-top)/build-bin/otbn/otbnsim |
| |
| $(build-dir): |
| mkdir -p $@ |
| |
| py-scripts := standalone.py stepped.py |
| py-files := $(wildcard *.py sim/*.py test/*.py) |
| py-libs := $(filter-out $(py-scripts),$(py-files)) |
| |
| lint-stamps := $(foreach scr,$(py-scripts),$(build-dir)/$(scr).stamp) |
| |
| $(lint-stamps): $(build-dir)/%.stamp: % $(py-libs) | $(build-dir) |
| mypy --strict --config-file=mypy.ini $< |
| touch $@ |
| |
| .PHONY: lint |
| lint: $(lint-stamps) |
| |
| .PHONY: test |
| test: |
| pytest test |
