From ef66eacdacc0507a9f42c18c4624220d7f831303 Mon Sep 17 00:00:00 2001 From: Ralf Anton Beier Date: Sun, 18 Jan 2026 07:44:14 +0100 Subject: [PATCH] fix: remove all bazel_features references - Remove unused bazel_features load from coq_of_rust/extensions.bzl - Remove bazel_features from toolchains/ocaml_extensions.bzl - Simplify extension_metadata to always set reproducible=True This fixes Bzlmod loading errors since bazel_features is not declared as a dependency in MODULE.bazel. --- coq_of_rust/extensions.bzl | 2 -- toolchains/ocaml_extensions.bzl | 11 +++-------- 2 files changed, 3 insertions(+), 10 deletions(-) diff --git a/coq_of_rust/extensions.bzl b/coq_of_rust/extensions.bzl index e370b02..ea4e3c1 100644 --- a/coq_of_rust/extensions.bzl +++ b/coq_of_rust/extensions.bzl @@ -4,8 +4,6 @@ Basic extension framework for coq-of-rust toolchain configuration. This will be enhanced as the implementation matures. """ -load("@bazel_features//:features.bzl", "bazel_features") - # Basic tag class for coq-of-rust configuration _CoqOfRustToolchainTag = tag_class( doc = "Tags for defining coq-of-rust toolchains", diff --git a/toolchains/ocaml_extensions.bzl b/toolchains/ocaml_extensions.bzl index b568879..bc19d66 100644 --- a/toolchains/ocaml_extensions.bzl +++ b/toolchains/ocaml_extensions.bzl @@ -4,8 +4,7 @@ This provides OCaml toolchain setup for users who need QuickChick or other OCaml-based Coq plugins. """ -load("@bazel_features//:features.bzl", "bazel_features") -load("//:toolchains/ocaml_toolchain.bzl", "ocaml_toolchain_repository") +load("//toolchains:ocaml_toolchain.bzl", "ocaml_toolchain_repository") # Tag classes for OCaml toolchain configuration _OcamlToolchainTag = tag_class( @@ -51,12 +50,8 @@ def _ocaml_impl(module_ctx): strategy = "download", ) - # Return extension metadata - metadata_kwargs = {} - if bazel_features.external_deps.extension_metadata_has_reproducible: - metadata_kwargs["reproducible"] = True - - return module_ctx.extension_metadata(**metadata_kwargs) + # Return extension metadata (reproducible for caching) + return module_ctx.extension_metadata(reproducible = True) # OCaml module extension ocaml = module_extension(