summaryrefslogtreecommitdiff
path: root/tests/Makefile
blob: dfb20cc482446e37007e7b0e95187dc26c607821 (plain)
1
2
3
all:
	cd fstar && $(MAKE) all
	cd coq && $(MAKE) all