Makefile

TESTS := consrep firstmatch gotorep intersect nonconsrep seq_and seq_or triggered until until_trig within repzero

all: $(addsuffix .status,$(TESTS))
	grep -H . *.status | sed 's,.status:,\t,; s,PASS,pass,;' | expand -t20
	touch .stamp

%.status: %.sv run.sh
	-bash run.sh $(basename $@) > $(basename $@).log 2>&1
	test -f $@

clean:
	rm -rf $(addsuffix .pass_??,$(TESTS))
	rm -rf $(addsuffix .fail_??,$(TESTS))
	rm -f $(addsuffix .pass_??.sby,$(TESTS))
	rm -f $(addsuffix .fail_??.sby,$(TESTS))
	rm -f $(addsuffix .status,$(TESTS))
	rm -f $(addsuffix .log,$(TESTS))
	rm -f .stamp

.PHONY: all clean