From a92a3a7f9088560f318adb569bf9c8a87a7e5d3a Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 28 Feb 2022 19:16:22 +0100
Subject: Fix minor issues due to updates in Charon

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 71488f23..efbef884 100644
--- a/Makefile
+++ b/Makefile
@@ -47,10 +47,11 @@ translate-nll-betree_nll: SUBDIR:=misc
 # directories in Charon
 .PHONY: gen-cfim-%
 
+# TODO: remove those "gen-..." rules, and just do `make` in the charon repo
 gen-cfim-%: CHARON_OPTIONS = --dest ../tests/cfim --no-code-duplication
 gen-cfim-%: CHARON_TESTS_SRC = ../tests/src
 
-gen-cfim-nll-%: CHARON_OPTIONS = --dest ../tests/cfim --no-code-duplication --nll
+gen-cfim-nll-%: CHARON_OPTIONS = --dest ../tests-nll/cfim --no-code-duplication --nll
 gen-cfim-nll-%: CHARON_TESTS_SRC = ../tests-nll/src
 
 gen-cfim-%: build
-- 
cgit v1.2.3