Add a waiver file for Verible lint

The waiver files currently don't support comments, and require the
"empty" regex; bugs have been filed to get that resolved upstream.

But beyond that, waivers are now functional.
This commit is contained in:
Philipp Wagner 2020-07-02 23:28:08 +01:00 committed by Philipp Wagner
parent 67e7417749
commit 4ee8b24409
2 changed files with 9 additions and 7 deletions

View file

@ -48,6 +48,10 @@ filesets:
files:
- lint/verilator_waiver.vlt: {file_type: vlt}
files_lint_verible:
files:
- lint/verible_waiver.vbw: {file_type: veribleLintWaiver}
files_check_tool_requirements:
depend:
- lowrisc:tool:check_tool_requirements
@ -132,22 +136,19 @@ parameters:
description: "Number of PMP regions"
targets:
default:
default: &default_target
filesets:
- tool_verilator ? (files_lint_verilator)
- tool_veriblelint ? (files_lint_verible)
- files_rtl
- files_check_tool_requirements
toplevel: ibex_core
lint:
filesets:
- tool_verilator ? (files_lint_verilator)
- files_rtl
- files_lint
- files_check_tool_requirements
<<: *default_target
parameters:
- SYNTHESIS=true
- RVFI=true
default_tool: verilator
toplevel: ibex_core
tools:
verilator:
mode: lint-only

1
lint/verible_waiver.vbw Normal file
View file

@ -0,0 +1 @@
waive --rule=module-filename --regex=".*" --location="ibex_register_file_.+"