diff --git a/dependency_support/verilator/verilator.BUILD.bazel b/dependency_support/verilator/verilator.BUILD.bazel index 18242e64..4ced7f3f 100644 --- a/dependency_support/verilator/verilator.BUILD.bazel +++ b/dependency_support/verilator/verilator.BUILD.bazel @@ -313,6 +313,9 @@ cc_library( "include/verilated_vcd_c.h", "include/verilated_vpi.h", "include/verilated.h", + # Needed for verilatedos + "include/verilatedos.h", + "include/verilatedos_c.h", ], # TODO: Remove these once upstream fixes these warnings copts = [