diff options
| author | Son Ho | 2022-03-03 23:41:21 +0100 |
|---|---|---|
| committer | Son Ho | 2022-03-03 23:41:21 +0100 |
| commit | 60a39d180cd7cbf525e8d9f0bd2d5c7855fc73b9 (patch) | |
| tree | 7b583877d1974fdcb3544fc66bc4f783b82b1937 /Makefile | |
| parent | c44f3d8aafc5c45032ee16a2f85a160f66f9a6e9 (diff) | |
Make minor modifications in the Makefile
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -34,12 +34,12 @@ test: build translate-no_nested_borrows translate-hashmap translate-paper \ # Add specific options to some tests translate-no_nested_borrows translate-paper: \ - TRANS_OPTIONS:=$(TRANS_OPTIONS) -test-units -no-split-files -no-state -no-decreases-clauses + TRANS_OPTIONS += -test-units -no-split-files -no-state -no-decreases-clauses translate-no_nested_borrows translate-paper: SUBDIR:=misc -translate-hashmap: TRANS_OPTIONS:=$(TRANS_OPTIONS) -template-clauses -no-state +translate-hashmap: TRANS_OPTIONS += -template-clauses -no-state translate-hashmap: SUBDIR:=hashmap -translate-nll-betree_nll: TRANS_OPTIONS=-test-units -no-split-files -no-state -no-decreases-clauses +translate-nll-betree_nll: TRANS_OPTIONS += -test-units -no-split-files -no-state -no-decreases-clauses translate-nll-betree_nll: SUBDIR:=misc # Generic rules to extract the LLBC from a rust file |