| 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 |
