summaryrefslogtreecommitdiff
path: root/tests/Makefile
blob: ccdbf6521e67dface4a17c03e87a84736776758c (plain)
1
2
3
4
all: test-fstar test-fstar-split test-coq test-lean test-hol4

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