AADL2Rust/Makefile at main · OpenSourceVerif/AADL2Rust · 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
58
59
60
61
62
63
# =========================
# Toolchain & basic config
# =========================

CARGO          := cargo
RUSTUP_TOOLCHAIN := +nightly

# =========================
# llvm-cov ignore settings
# =========================

LLVM_COV_IGNORE_REGEX := collector\.rs|generate_build\.rs|intermediate_print\.rs|merge_utils\.rs|tool\.rs|ast\.rs|main\.rs|printmessage\.rs|test_mod\.rs|transform\.rs|transform_annex\.rs|model_statistics\.rs|test_mod2\.rs

# =========================
# Default target
# =========================

.PHONY: all
all: cov

# =========================
# Coverage targets
# =========================

.PHONY: cov
cov:
	$(CARGO) $(RUSTUP_TOOLCHAIN) llvm-cov \
		--branch \
		--open \
		--ignore-filename-regex "$(LLVM_COV_IGNORE_REGEX)"

# =========================
# Clean coverage artifacts
# =========================

.PHONY: cov-clean
cov-clean:
	$(CARGO) llvm-cov clean

.PHONY: code
code:
	@echo "===== Code Line Statistics (cloc, code-only) ====="
	@echo "[AST declaration]         $$(cloc src/ast.rs src/aadl_ast2rust_code/intermediate_ast.rs --json | jq '.SUM.code')"
	@echo "[Parsing]                 $$(cloc src/aadl.pest src/transform.rs src/transform_annex.rs --json | jq '.SUM.code')"
	@echo "[Model-to-IR translation] $$(cloc \
		src/aadl_ast2rust_code/converter.rs \
		src/aadl_ast2rust_code/converter_annex.rs \
		src/aadl_ast2rust_code/implementations \
		src/aadl_ast2rust_code/types \
		--json | jq '.SUM.code')"
	@echo "[Rust code printer]       $$(cloc src/aadl_ast2rust_code/intermediate_print.rs --json | jq '.SUM.code')"
	@echo "-----------------------------------------------"
	@echo "[Total]                   $$(( \
		$$(cloc src/ast.rs --json | jq '.SUM.code') + \
		$$(cloc src/aadl.pest src/transform.rs src/transform_annex.rs --json | jq '.SUM.code') + \
		$$(cloc \
			src/aadl_ast2rust_code/converter.rs \
			src/aadl_ast2rust_code/converter_annex.rs \
			src/aadl_ast2rust_code/implementations \
			src/aadl_ast2rust_code/types \
			--json | jq '.SUM.code') + \
		$$(cloc src/aadl_ast2rust_code/intermediate_print.rs --json | jq '.SUM.code') \
	))"