Makefile

all: work
	touch .stamp

clean::
	rm -f .stamp

define template
work:: $(addprefix $(1)/.stamp_,sim falsify $(2))

$(1)/.stamp_sim:
	bash run.sh $(1) sim
	touch $$@

$(1)/.stamp_falsify: $(1)/.stamp_sim
	bash run.sh $(1) falsify
	touch $$@

$(1)/.stamp_%: $(1)/.stamp_sim
	bash run.sh $(1) $$*
	touch $$@

clean::
	rm -rf $(1)/.stamp_* $(1)/work_*
	rm -f $(1)_{cmos,ice40,falsify,ecp5,xilinx}{,_abc9}.status
endef

$(eval $(call template,navre,cmos ice40 ice40_abc9 ecp5 ecp5_abc9 xilinx xilinx_abc9))
ifeq ($(ENABLE_HEAVY_TESTS),1)
$(eval $(call template,picorv32,cmos ice40 ice40_abc9 ecp5 ecp5_abc9 xilinx xilinx_abc9))
endif
.PHONY: all clean