# make test    run the backbone-free consistency suite
# make rtl     regenerate rtl/ from rules.json
# make synth   synthesize every rule 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