diff options
author | Son Ho | 2022-02-18 12:29:44 +0100 |
---|---|---|
committer | Son Ho | 2022-02-18 12:29:44 +0100 |
commit | 68a91446114372478ad74a1e6113b842162e56c5 (patch) | |
tree | 39705f02ddee33b3eb0229747e9fe2420303e489 /Makefile | |
parent | 66a33c79cbb422377e706fedb7e62678498270bb (diff) |
Update the Makefile
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -1,7 +1,8 @@ all: build-test -CHARON_HOME=../charon/charon -CHARON_TESTS_DIR=$(CHARON_HOME)/tests/src +CHARON_HOME=../charon +CHARON_EXEC=$(CHARON_HOME)/charon +CHARON_TESTS_DIR=$(CHARON_HOME)/tests/cfim DEST_DIR=tests # Default translation options: @@ -32,7 +33,7 @@ translate-hashmap: SUBDIR:=hashmap # Generic rule to extract the CFIM from a rust file .PHONY: gen-cfim-% gen-cfim-%: build - cd ../charon/charon && cargo run tests/src/$*.rs + cd $(CHARON_HOME)/charon && cargo run ../tests/src/$*.rs --dest ../tests/cfim # Generic rule to test the translation on a CFIM file .PHONY: translate-% |