From cbcaa965c4ee5597bb8f4f8bee7fba87729e7154 Mon Sep 17 00:00:00 2001
From: Jonathan Protzenko
Date: Mon, 23 Jan 2023 18:17:42 -0800
Subject: Initial Lean backend, WIP

---
 tests/Makefile | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'tests')

diff --git a/tests/Makefile b/tests/Makefile
index dfb20cc4..a6a85d2d 100644
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -1,3 +1,4 @@
-all:
-	cd fstar && $(MAKE) all
-	cd coq && $(MAKE) all
+all: test-fstar test-coq test-lean
+
+test-%:
+	cd $* && $(MAKE) all
-- 
cgit v1.2.3