| // Copyright lowRISC contributors. |
| // Licensed under the Apache License, Version 2.0, see LICENSE for details. |
| // SPDX-License-Identifier: Apache-2.0 |
| flow_makefile: "{proj_root}/hw/lint/data/lint.mk" |
| import_cfgs: [// common server configuration for results upload |
| "{proj_root}/hw/data/common_project_cfg.hjson" |
| // tool-specific configuration |
| "{proj_root}/hw/lint/data/{tool}.hjson"] |
| // Name of the DUT / top-level to be run through lint |
| // Default directory structure for the output |
| build_dir: "{scratch_path}/{build_mode}" |
| build_log: "{build_dir}/lint.log" |
| // We rely on fusesoc to run lint for us |
| build_opts: ["--cores-root {proj_root}/hw", |
| "--flag=fileset_{design_level}", |
| "--build-root={build_dir}", |
| // these are not needed currently, but have to be defined |