From 579025ed55f8a1f024cd1ff47342f27f1122842c Mon Sep 17 00:00:00 2001 From: James Wainwright Date: Tue, 17 Dec 2024 13:37:34 +0000 Subject: [PATCH] [bazel] Inline `misc_linters` module This one dependency is not large enough to have its own file. Also make it a `dev_dependency`. This is actually required since overrides are only processed from the root module. Depending modules would not be able to find `lowrisc_misc_linters` if they depended on this module. Signed-off-by: James Wainwright --- MODULE.bazel | 11 +++++++++-- third_party/lint/lint.MODULE.bazel | 11 ----------- 2 files changed, 9 insertions(+), 13 deletions(-) delete mode 100644 third_party/lint/lint.MODULE.bazel diff --git a/MODULE.bazel b/MODULE.bazel index 8670c19fa1d41..15c2f8d479742 100644 --- a/MODULE.bazel +++ b/MODULE.bazel @@ -14,14 +14,21 @@ bazel_dep( version = "6.4.0", dev_dependency = True, ) +bazel_dep( + name = "lowrisc_misc_linters", + dev_dependency = True, +) +git_override( + module_name = "lowrisc_misc_linters", + commit = "13303cfa284e8b8c7040c6ad716b0b0c55e0aa8d", + remote = "https://github.com/lowRISC/misc-linters", +) # Includes: include("//third_party/rust:rust.MODULE.bazel") include("//third_party/python:python.MODULE.bazel") -include("//third_party/lint:lint.MODULE.bazel") - # Repository rules: bitstreams_repo = use_repo_rule("//rules:bitstreams.bzl", "bitstreams_repo") diff --git a/third_party/lint/lint.MODULE.bazel b/third_party/lint/lint.MODULE.bazel deleted file mode 100644 index 9833bc48f682e..0000000000000 --- a/third_party/lint/lint.MODULE.bazel +++ /dev/null @@ -1,11 +0,0 @@ -# Copyright lowRISC contributors (OpenTitan project). -# Licensed under the Apache License, Version 2.0, see LICENSE for details. -# SPDX-License-Identifier: Apache-2.0 - -bazel_dep(name = "lowrisc_misc_linters") - -git_override( - module_name = "lowrisc_misc_linters", - commit = "13303cfa284e8b8c7040c6ad716b0b0c55e0aa8d", - remote = "https://github.com/lowRISC/misc-linters", -)