From 6db835db88c4bcf0e00ce1a7a6bc396382b393c3 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 11 Nov 2022 21:34:29 +0100
Subject: Reorganize the project to prepare for new backends

---
 tests/fstar/Makefile | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 tests/fstar/Makefile

(limited to 'tests/fstar/Makefile')

diff --git a/tests/fstar/Makefile b/tests/fstar/Makefile
new file mode 100644
index 00000000..a9c170f7
--- /dev/null
+++ b/tests/fstar/Makefile
@@ -0,0 +1,19 @@
+ALL_DIRS ?= $(filter-out Makefile%, $(wildcard *))
+
+VERIFY_DIRS = $(addprefix verif-,$(ALL_DIRS))
+
+CLEAN_DIRS = $(addprefix clean-,$(ALL_DIRS))
+
+.PHONY: all
+all: $(VERIFY_DIRS)
+
+.PHONY: clean
+clean: $(CLEAN_DIRS)
+
+.PHONY: verif-%
+verif-%:
+	cd $* && make all
+
+.PHONY: clean-%
+clean-%:
+	cd $* && make clean
-- 
cgit v1.2.3