examples/misc/Makefile


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

CHARON_HOME=../../../charon/charon

all: build test translate

.PHONY: build
build:
	cargo build

.PHONY: test
test:
	cargo test

.PHONY: translate
translate:
	cd $(CHARON_HOME) && cargo run ../../aeneas/examples/misc/src/hashmap.rs