From 68a91446114372478ad74a1e6113b842162e56c5 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 18 Feb 2022 12:29:44 +0100
Subject: Update the Makefile

---
 Makefile | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 070aba6c..c485ef48 100644
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,8 @@
 all: build-test
 
-CHARON_HOME=../charon/charon
-CHARON_TESTS_DIR=$(CHARON_HOME)/tests/src
+CHARON_HOME=../charon
+CHARON_EXEC=$(CHARON_HOME)/charon
+CHARON_TESTS_DIR=$(CHARON_HOME)/tests/cfim
 DEST_DIR=tests
 
 # Default translation options:
@@ -32,7 +33,7 @@ translate-hashmap: SUBDIR:=hashmap
 # Generic rule to extract the CFIM from a rust file
 .PHONY: gen-cfim-%
 gen-cfim-%: build
-	cd ../charon/charon && cargo run tests/src/$*.rs
+	cd $(CHARON_HOME)/charon && cargo run ../tests/src/$*.rs --dest ../tests/cfim
 
 # Generic rule to test the translation on a CFIM file
 .PHONY: translate-%
-- 
cgit v1.2.3