wasix/Makefile at main · PLSysSec/wasix · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
# You need to do
# export WASI_SDK_PATH=/the/path/to/your/wasi

TEST_DIR  = $(CURDIR)/test
TRACE_DIR = $(CURDIR)/trace

OS   ?= not_specified
NUM  ?= 10
SIZE ?= 30

export ENV_VAR_1 = this/is/env/var/1
export ENV_VAR_2 = this.is.env.var.2

all:
	./src/wasix --all \
		--num $(NUM) \
		--size $(SIZE) \
		--test_dir $(TEST_DIR) \
		--trace_dir $(TRACE_DIR) \
		--os $(OS)

gen:
	./src/wasix --gen \
		--num $(NUM) \
		--size $(SIZE) \
		--test_dir $(TEST_DIR)

run:
	./src/wasix --run \
		--test_dir $(TEST_DIR) \
		--trace_dir $(TRACE_DIR) \
		--os $(OS)

check:
	./src/wasix --check \
		--trace_dir $(TRACE_DIR)

bug-all: bug-comp bug-run bug-check

bug-comp:
	cd bug && make all

bug-run:
	./src/wasix --run \
		--test_dir $(CURDIR)/bug/wasm \
		--trace_dir $(CURDIR)/bug_trace \
		--os $(OS)

bug-check:
	./src/wasix --check \
		--trace_dir $(CURDIR)/bug_trace \

clean:
	rm -rf test/
	rm -rf trace/
	rm -rf bug_trace/
	cd bug && make clean