[bazel] Migrate HyperDebug firmware repo to bzlmod

Signed-off-by: James Wainwright <james.wainwright@lowrisc.org>
lowRISC · Dec 19, 2024 · b47c6d4 · b47c6d4
1 parent a8fe37f
commit b47c6d4
Show file tree

Hide file tree

Showing 4 changed files with 37 additions and 5 deletions.
diff --git a/MODULE.bazel b/MODULE.bazel
@@ -106,3 +106,6 @@ use_repo(
 
 open_dice = use_extension("//third_party/open-dice:extensions.bzl", "open_dice")
 use_repo(open_dice, "open-dice")
+
+hyperdebug = use_extension("//third_party/hyperdebug:extensions.bzl", "hyperdebug")
+use_repo(hyperdebug, "hyperdebug_firmware")
diff --git a/MODULE.bazel.lock b/MODULE.bazel.lock
diff --git a/WORKSPACE.bzlmod b/WORKSPACE.bzlmod
@@ -48,10 +48,6 @@ provisioning_exts_repo(name = "provisioning_exts")
 load("//rules:nonhermetic.bzl", "nonhermetic_repo")
 nonhermetic_repo(name = "nonhermetic")
 
-# Binary firmware image for HyperDebug
-load("//third_party/hyperdebug:repos.bzl", "hyperdebug_repos")
-hyperdebug_repos()
-
 register_toolchains(
     "//rules/opentitan:localtools",
 )
diff --git a/third_party/hyperdebug/repos.bzl → third_party/hyperdebug/extensions.bzl b/third_party/hyperdebug/repos.bzl → third_party/hyperdebug/extensions.bzl
@@ -4,7 +4,11 @@
 
 load("@bazel_tools//tools/build_defs/repo:http.bzl", "http_archive")
 
-def hyperdebug_repos():
+hyperdebug = module_extension(
+    implementation = lambda _: _hyperdebug_repos(),
+)
+
+def _hyperdebug_repos():
     http_archive(
         name = "hyperdebug_firmware",
         urls = ["https://github.com/lowRISC/hyperdebug-firmware/releases/download/20241211_02/hyperdebug-firmware.tar.gz"],