forked from vegaluisjose/vast
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Makefile
37 lines (33 loc) · 1.72 KB
/
Makefile
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
V05_DIR = $(abspath .)/regression/v05
V17_DIR = $(abspath .)/regression/v17
.PHONY: test
test: lint
cargo fmt -- --check
cargo clippy --tests
cargo test --tests
.PHONY: lint
lint: lint-v05 lint-v17
.PHONY: lint-v05
lint-v05:
verilator --lint-only +1364-2005ext+v $(V05_DIR)/module_empty.v
verilator --lint-only +1364-2005ext+v $(V05_DIR)/module_one_input.v
verilator --lint-only +1364-2005ext+v $(V05_DIR)/module_three_inputs.v
verilator --lint-only +1364-2005ext+v $(V05_DIR)/module_one_param.v
verilator --lint-only +1364-2005ext+v $(V05_DIR)/module_two_params.v
verilator --lint-only +1364-2005ext+v $(V05_DIR)/module_mix_params.v
verilator --lint-only +1364-2005ext+v $(V05_DIR)/prim.v $(V05_DIR)/module_with_instances.v
verilator --lint-only +1364-2005ext+v $(V05_DIR)/prim.v $(V05_DIR)/module_with_instance_attribute.v
.PHONY: lint-v17
lint-v17:
verilator --lint-only +1800-2017ext+v $(V17_DIR)/module_empty.v
verilator --lint-only +1800-2017ext+v $(V17_DIR)/module_one_input.v
verilator --lint-only +1800-2017ext+v $(V17_DIR)/module_four_inputs.v
verilator --lint-only +1800-2017ext+v $(V17_DIR)/prim.v $(V17_DIR)/module_with_instances.v
verilator --lint-only +1800-2017ext+v $(V17_DIR)/module_with_function.v
verilator --lint-only +1800-2017ext+v $(V17_DIR)/module_with_function_add_one.v
verilator --lint-only +1800-2017ext+v $(V17_DIR)/module_with_always_comb.v
verilator --lint-only +1800-2017ext+v $(V17_DIR)/module_with_always_ff.v
verilator --lint-only +1800-2017ext+v $(V17_DIR)/module_with_case.v
verilator --lint-only +1800-2017ext+v $(V17_DIR)/module_with_initial.v
verilator --lint-only +1800-2017ext+v $(V17_DIR)/module_with_final.v
verilator --lint-only +1800-2017ext+v $(V17_DIR)/module_with_import_function.v