mirror of
https://github.com/YosysHQ/yosys
synced 2026-03-23 12:59:15 +00:00
43 lines
960 B
Makefile
43 lines
960 B
Makefile
all:
|
|
|
|
ifndef OVERRIDE_MAIN
|
|
clean:
|
|
@rm -f *.log *.result
|
|
endif
|
|
|
|
define run_test
|
|
rc=0; \
|
|
$(2) || rc=$$?; \
|
|
if [ $$rc -eq 0 ]; then \
|
|
echo "PASS $1"; \
|
|
echo PASS > $1.result; \
|
|
else \
|
|
echo "FAIL $1"; \
|
|
echo FAIL > $1.result; \
|
|
fi
|
|
endef
|
|
|
|
.PHONY: summary
|
|
summary:
|
|
@pass=$$(find . -type f -name '*.result' -exec grep '^PASS$$' {} + | wc -l); \
|
|
fail=$$(find . -type f -name '*.result' -exec grep '^FAIL$$' {} + | wc -l); \
|
|
total=$$((pass + fail)); \
|
|
echo "=========================="; \
|
|
echo "Tests: $$total"; \
|
|
echo "Passed: $$pass"; \
|
|
echo "Failed: $$fail"; \
|
|
echo "=========================="; \
|
|
if [ $$fail -ne 0 ]; then \
|
|
echo; \
|
|
$(MAKE) --no-print-directory report; \
|
|
fi; \
|
|
test $$fail -eq 0
|
|
|
|
.PHONY: report
|
|
report:
|
|
@echo "=========================="
|
|
@echo "Failing tests:"
|
|
@find . -name '*.result' -type f -exec grep -H '^FAIL$$' {} + \
|
|
| cut -d: -f1 \
|
|
| sed 's|^\./||; s|\.result$$||'
|
|
@echo "=========================="
|