From a1a0f62c200857afcd2090b39f1980d34cd638f2 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 10 Feb 2022 00:25:47 +0100
Subject: Move the generated files to subdirectories

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 3d318ebc..afbdd832 100644
--- a/Makefile
+++ b/Makefile
@@ -8,6 +8,7 @@ DEST_DIR=tests/
 # - insert calls to the normalizer in the translated code to test the
 #   generated unit functions
 TRANS_OPTIONS:=-test-trans-units
+SUBDIR:=
 
 # Build the project and test it
 .PHONY: build-test
@@ -24,7 +25,9 @@ test: build translate-no_nested_borrows translate-hashmap
 
 # Add specific options to some tests
 translate-no_nested_borrows: TRANS_OPTIONS:=$(TRANS_OPTIONS) -test-units -no-split -no-decreases-clauses
+translate-no_nested_borrows: SUBDIR:=misc
 translate-hashmap: TRANS_OPTIONS:=$(TRANS_OPTIONS) -template-clauses
+translate-hashmap: SUBDIR:=hashmap
 
 # Generic rule to extract the CFIM from a rust file
 .PHONY: gen-cfim-%
@@ -34,7 +37,7 @@ gen-cfim-%: build
 # Generic rule to test the translation on a CFIM file
 .PHONY: translate-%
 translate-%: gen-cfim-%
-	dune exec -- src/main.exe $(CHARON_TESTS_DIR)/$*.cfim -dest $(DEST_DIR) $(TRANS_OPTIONS)
+	dune exec -- src/main.exe $(CHARON_TESTS_DIR)/$*.cfim -dest $(DEST_DIR)/$(SUBDIR) $(TRANS_OPTIONS)
 
 .PHONY: doc
 doc:
-- 
cgit v1.2.3