Makefile

# make test    run the backbone-free consistency suite
# make rtl     regenerate rtl/ from per_dim_thresholds.json
# make synth   synthesize every decision variant with nosis
# make clean

PYTHON ?= python

test:
	$(PYTHON) -m pytest -q

rtl:
	$(PYTHON) rtl_gen.py

synth: rtl
	$(PYTHON) synth.py

clean:
	rm -rf build

.PHONY: test rtl synth clean