Update the Makefile for the betree

1 files changed, 5 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index 0d99fa40..1e62dfd5 100644
--- a/Makefile
+++ b/Makefile
@@ -31,7 +31,8 @@ build:
 .PHONY: test
 test: build trans-no_nested_borrows trans-paper \
 	trans-hashmap trans-hashmap_main \
-	trans-external trans-nll-betree_nll
+	trans-external trans-nll-betree_nll \
+	trans-nll-betree_main
 
 # Add specific options to some tests
 trans-no_nested_borrows trans-paper: \
@@ -50,6 +51,9 @@ trans-nll-betree_nll: SUBDIR:=misc
 trans-external: TRANS_OPTIONS +=
 trans-external: SUBDIR:=misc
 
+trans-nll-betree_main: TRANS_OPTIONS += -template-clauses
+trans-nll-betree_main: SUBDIR:=betree
+
 # Generic rules to extract the LLBC from a rust file
 # We use the rules in Charon's Makefile to generate the .llbc files: the options
 # vary with the test files.