diff options
author | Son Ho | 2022-02-10 00:25:47 +0100 |
---|---|---|
committer | Son Ho | 2022-02-10 00:25:47 +0100 |
commit | a1a0f62c200857afcd2090b39f1980d34cd638f2 (patch) | |
tree | fdf76dd0f9420aeba73ad0e55e47f22ea7a69813 /Makefile | |
parent | 2c006afdfd54456cbd55e66e4b0c25e31957573b (diff) |
Move the generated files to subdirectories
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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: |