summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile6
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.