Update following some changes in Charon

1 files changed, 9 insertions, 1 deletions

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"