all: test-fstar test-fstar-split test-coq test-lean test-hol4

test-%:
	cd $* && $(MAKE) all