From 279d7ef00d5322f8b04b729c0c6e32f03789a387 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 22 Feb 2022 17:55:46 +0100
Subject: Add support for "fused" match branches

---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 5ae0ea4c..f65b5042 100644
--- a/Makefile
+++ b/Makefile
@@ -3,6 +3,7 @@ all: build-test
 CHARON_HOME=../charon
 CHARON_EXEC=$(CHARON_HOME)/charon
 CHARON_TESTS_DIR=$(CHARON_HOME)/tests/cfim
+CHARON_OPTIONS= --dest ../tests/cfim --no-code-duplication
 DEST_DIR=tests
 
 # Default translation options:
@@ -33,7 +34,7 @@ translate-hashmap: SUBDIR:=hashmap
 # Generic rule to extract the CFIM from a rust file
 .PHONY: gen-cfim-%
 gen-cfim-%: build
-	cd $(CHARON_HOME)/charon && cargo run ../tests/src/$*.rs --dest ../tests/cfim
+	cd $(CHARON_HOME)/charon && cargo run ../tests/src/$*.rs $(CHARON_OPTIONS)
 
 # Generic rule to test the translation on a CFIM file
 .PHONY: translate-%
-- 
cgit v1.2.3