1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
MAKEFILES = $(shell find examples -name Makefile -depth 2)
EXAMPLES = $(patsubst %/,%,$(dir $(MAKEFILES)))
logs = $(shell find . -name "*.log")
attempts = $(shell grep "verifier version" $(logs) | wc -l | tr -d ' ')
verified = $(shell grep "verifier finished .* [1-9][0-9]* verified" $(logs) | wc -l | tr -d ' ')
errors = $(shell grep 'verifier finished .* [1-9][0-9]* error' $(logs) | wc -l | tr -d ' ')
.PHONY: all %.target
all: $(EXAMPLES:%=%.target)
@echo
@echo Results | figlet
@echo $(attempts) attempts
@echo $(verified) verified
@echo $(errors) errors
clean: $(EXAMPLES:%=%.clean)
%.target:
@echo
@echo Example | figlet
@echo $(notdir $*)
@cd $* && make
%.clean:
@echo
@echo Cleaning $*
@cd $* && make clean
|
