From 4ba7d73fa3bfbf9ef41b2d9d5595f28fb67b8e47 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 6 Nov 2023 18:11:24 +0100
Subject: Update following some changes in Charon

---
 Makefile | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 958ae8d7..694b47a3 100644
--- a/Makefile
+++ b/Makefile
@@ -91,7 +91,7 @@ tests: trans-no_nested_borrows trans-paper \
 	transp-polonius_list transp-betree_main \
 	test-transp-betree_main \
 	trans-loops \
-	trans-array # TODO: generalize to all backends
+	trans-array trans-traits # TODO: generalize to all backends
 
 # Verify the F* files generated by the translation
 .PHONY: verify
@@ -131,6 +131,14 @@ tlean-array: SUBDIR :=
 tlean-array: OPTIONS +=
 thol4-array: OPTIONS +=
 
+trans-traits: OPTIONS += -no-state
+trans-traits: SUBDIR := traits
+tfstar-traits: OPTIONS += -decreases-clauses -template-clauses
+tcoq-traits: OPTIONS += -use-fuel
+tlean-traits: SUBDIR :=
+tlean-traits: OPTIONS +=
+thol4-traits: OPTIONS +=
+
 # TODO: activate the arrays for all the backends
 thol4-array:
 	echo "Ignoring the array test for HOL4"
-- 
cgit v1.2.3