Add config files to vc_static_lint rule

Signed-off-by: Robert Szczepanski <[email protected]>

Author: robertszczepanski

vc_static/default.tcl

@@ -32,6 +32,12 @@ set_app_var enable_lint true
 set_app_var report_all_hdl_errors true
 configure_lint_setup -goal lint_rtl
 
+# Include lint config files
+set config_list [split $config_files " "]
+foreach config $config_list {
+    source $config
+}
+
 # Include waiver file
 set waiver_list [split $waiver_files " "]
 foreach waiver $waiver_list {

vc_static/defs.bzl

@@ -59,6 +59,7 @@ def _vc_static_lint(ctx):
         "sources": [f.path for f in all_srcs],
         "top_module": ctx.attr.module_top,
         "waiver_files": [f.path for f in ctx.files.waiver_files],
+        "config_files": [f.path for f in ctx.files.config_files],
     }
 
     # Write the TCL script
@@ -87,7 +88,7 @@ def _vc_static_lint(ctx):
 
     ctx.actions.run_shell(
         outputs = outputs,
-        inputs = [ctx.file.vc_static_env, tcl_script] + ctx.files.waiver_files + all_hdrs + all_srcs,
+        inputs = [ctx.file.vc_static_env, tcl_script] + ctx.files.waiver_files + ctx.files.config_files + all_hdrs + all_srcs,
         progress_message = "Running VC Static: {}".format(ctx.label.name),
         command = " ".join(vc_command),
     )
@@ -142,6 +143,10 @@ vc_static_lint = rule(
             doc = "Waiver files",
             allow_files = True,
         ),
+        "config_files": attr.label_list(
+            doc = "Config files",
+            allow_files = True,
+        ),
     },
     provides = [
         DefaultInfo,

vc_static/tests/BUILD

@@ -34,6 +34,13 @@ filegroup(
     ],
 )
 
+filegroup(
+    name = "test_config",
+    srcs = [
+        "test_config.tcl",
+    ],
+)
+
 vc_static_lint(
     name = "rtl_vc_static_lint",
     module = ":rtl",
@@ -42,4 +49,7 @@ vc_static_lint(
     waiver_files = [
         ":test_waiver",
     ],
+    config_files = [
+        ":test_config",
+    ],
 )

vc_static/tests/rtl.sv

@@ -14,6 +14,7 @@
 
 module rtl (
     input  logic a,
+    input  logic b,
     output logic out
 );
 

vc_static/tests/test_config.tcl

@@ -0,0 +1 @@
+configure_lint_tag -enable -tag "W240" -severity "info" -goal lint_rtl