From ec920cf54bd22246cfdbbbc9301e4f5b4716d009 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 6 May 2022 10:02:06 +0200
Subject: Update the Makefile for the betree

---
 Makefile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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.
-- 
cgit v1.2.3