diff options
| author | Son Ho | 2022-02-22 17:55:46 +0100 |
|---|---|---|
| committer | Son Ho | 2022-02-22 17:55:46 +0100 |
| commit | 279d7ef00d5322f8b04b729c0c6e32f03789a387 (patch) | |
| tree | ddf31374c504adc00f7acc5b33ed3c6f3d1b1527 /Makefile | |
| parent | 1fa2f2812215da74cb793dc63d621a8d15c55523 (diff) | |
Add support for "fused" match branches
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -3,6 +3,7 @@ all: build-test CHARON_HOME=../charon CHARON_EXEC=$(CHARON_HOME)/charon CHARON_TESTS_DIR=$(CHARON_HOME)/tests/cfim +CHARON_OPTIONS= --dest ../tests/cfim --no-code-duplication DEST_DIR=tests # Default translation options: @@ -33,7 +34,7 @@ translate-hashmap: SUBDIR:=hashmap # Generic rule to extract the CFIM from a rust file .PHONY: gen-cfim-% gen-cfim-%: build - cd $(CHARON_HOME)/charon && cargo run ../tests/src/$*.rs --dest ../tests/cfim + cd $(CHARON_HOME)/charon && cargo run ../tests/src/$*.rs $(CHARON_OPTIONS) # Generic rule to test the translation on a CFIM file .PHONY: translate-% |