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

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