1 2 3 4 5 6
.PHONY: all all: test-fstar test-coq test-lean test-hol4 .PHONY: test-% test-%: cd $* && $(MAKE) all