| Michael Schaffner | 893f665 | 2020-01-09 13:07:35 -0800 | [diff] [blame] | 1 | CAPI=2: |
| 2 | # Copyright lowRISC contributors. |
| 3 | # Licensed under the Apache License, Version 2.0, see LICENSE for details. |
| 4 | # SPDX-License-Identifier: Apache-2.0 |
| 5 | name: "lowrisc:lint:common:0.1" |
| 6 | description: "Common waivers" |
| 7 | filesets: |
| 8 | files_verilator: |
| 9 | files: |
| Michael Schaffner | 8ac6c4c | 2020-03-03 15:00:20 -0800 | [diff] [blame] | 10 | - tools/verilator/common.vlt |
| Michael Schaffner | 893f665 | 2020-01-09 13:07:35 -0800 | [diff] [blame] | 11 | file_type: vlt |
| 12 | |
| 13 | files_ascentlint: |
| 14 | files: |
| Michael Schaffner | 8ac6c4c | 2020-03-03 15:00:20 -0800 | [diff] [blame] | 15 | - tools/ascentlint/common.waiver: {file_type: waiver} |
| 16 | - tools/ascentlint/ascentlint-config.tcl: {file_type: tclSource} |
| Michael Schaffner | 893f665 | 2020-01-09 13:07:35 -0800 | [diff] [blame] | 17 | |
| Michael Schaffner | eeef3df | 2020-04-17 15:42:34 -0700 | [diff] [blame] | 18 | files_veriblelint: |
| 19 | files: |
| 20 | - tools/veriblelint/rules.vbl: {file_type: veribleLintRules} |
| 21 | |
| Pirmin Vogel | ed097cc | 2020-03-09 11:35:21 +0100 | [diff] [blame] | 22 | files_check_tool_requirements: |
| 23 | depend: |
| 24 | - lowrisc:tool:check_tool_requirements |
| 25 | |
| Michael Schaffner | 893f665 | 2020-01-09 13:07:35 -0800 | [diff] [blame] | 26 | targets: |
| 27 | default: &default_target |
| 28 | filesets: |
| Michael Schaffner | eeef3df | 2020-04-17 15:42:34 -0700 | [diff] [blame] | 29 | - tool_verilator ? (files_verilator) |
| 30 | - tool_ascentlint ? (files_ascentlint) |
| 31 | - tool_veriblelint ? (files_veriblelint) |
| Pirmin Vogel | ed097cc | 2020-03-09 11:35:21 +0100 | [diff] [blame] | 32 | - files_check_tool_requirements |
| Olof Kindgren | f3efb92 | 2020-12-09 08:53:42 +0100 | [diff] [blame] | 33 | tools: |
| 34 | ascentlint: |
| 35 | ascentlint_options: |
| 36 | - "-wait_license" |
| 37 | - "-stop_on_error" |
