MODULE.bazel

# SPDX-License-Identifier: BSD-3-Clause
# Copyright (c) 2025, Precision Innovations Inc.

module(
    name = "openroad",
)

# --- Regular dependencies (propagated to downstream consumers via MVS) ---

bazel_dep(name = "abc", version = "0.64-yosyshq.bcr.2")

# Patch abc's non-readline prompt path to flush stdout and exit on EOF.
# Without this, yosys's coprocess driver (which waits for the "abc NN> "
# prompt over a pipe) deadlocks when abc is built with use_readline=false.
# Drop this override once the fix is in a published BCR abc release.
single_version_override(
    module_name = "abc",
    patch_strip = 1,
    patches = [
        "//bazel/abc-patches:0001-mainUtils-flush-prompt-and-handle-eof-without-readline.patch",
    ],
)

bazel_dep(name = "abseil-cpp", version = "20260107.1")
bazel_dep(name = "bazel_skylib", version = "1.7.1")
bazel_dep(name = "bison", version = "3.8.2.bcr.10")
bazel_dep(name = "coin-or-lemon", version = "1.3.1.bcr.1")

# Host-space FFTW plans for the opt-in GPU build's KokkosFFT. Only reachable
# through @kokkos_fft, so it is built from source solely under --config=gpu
# (the hermetic toolchain cannot link a host-distribution libfftw3); CPU builds
# pay nothing beyond the lockfile entry.
bazel_dep(name = "fftw", version = "3.3.10")
bazel_dep(name = "platforms", version = "1.0.0")
bazel_dep(name = "rules_cc", version = "0.2.18")
bazel_dep(name = "rules_flex", version = "0.4")

# rules_flex only requires rules_m4 0.2.x, whose default m4
# toolchain does not build here; 0.3 does.
bazel_dep(name = "rules_m4", version = "0.3")

# rules_go is transitive (or-tools, gazelle, grpc-java, rules_buf). The
# MVS-selected 0.53.0 references the top-level CcInfo global that Bazel 9
# removed (go/private/rules/cgo.bzl), breaking analysis. 0.59.0+ loads
# CcInfo from @rules_cc; force a Bazel-9-compatible release.
bazel_dep(name = "rules_go", version = "0.61.1")
bazel_dep(name = "rules_pkg", version = "1.2.0")
bazel_dep(name = "rules_pycross", version = "0.8.1")
bazel_dep(name = "rules_python", version = "2.3.2")
bazel_dep(name = "rules_license", version = "1.0.0")
bazel_dep(name = "rules_shell", version = "0.6.1")
bazel_dep(name = "swig", version = "4.3.0.bcr.2")

# rules_cc_autoconf is transitive (bison, flex, m4, gawk, readline). Its
# checker uses std::back_inserter without <iterator>, which libc++ 23 no
# longer pulls in transitively; 0.23.0 adds the include.
single_version_override(
    module_name = "rules_cc_autoconf",
    version = "0.23.0",
)

BOOST_VERSION = "1.89.0.bcr.2"

BOOST_CONTEXT_VERSION = "1.89.0.bcr.3"

# boost::icl's exclusive_less_than comparator violates strict weak ordering
# (boostorg/icl#51); libc++'s std::map exposes it, leaving phantom intervals
# after interval_set subtraction (boostorg/icl#55) — pad IO fillers were
# placed on top of pads. Upstream fix boostorg/icl@7de3f55655 (#54), merged
# after boost 1.90. Drop when a boost.icl release containing it lands in BCR.
single_version_override(
    module_name = "boost.icl",
    patch_strip = 1,
    patches = [
        "//bazel/boost-icl-patches:0001-refactor-interval-lookup-operations-icl-54.patch",
    ],
)

bazel_dep(name = "boost.algorithm", version = BOOST_VERSION)
bazel_dep(name = "boost.asio", version = BOOST_VERSION)
bazel_dep(name = "boost.beast", version = BOOST_VERSION)
bazel_dep(name = "boost.bind", version = BOOST_VERSION)
bazel_dep(name = "boost.config", version = BOOST_VERSION)
bazel_dep(name = "boost.container", version = BOOST_VERSION)
bazel_dep(name = "boost.container_hash", version = BOOST_VERSION)
bazel_dep(name = "boost.context", version = BOOST_CONTEXT_VERSION)
bazel_dep(name = "boost.format", version = BOOST_VERSION)
bazel_dep(name = "boost.fusion", version = BOOST_VERSION)
bazel_dep(name = "boost.geometry", version = BOOST_VERSION)
bazel_dep(name = "boost.graph", version = BOOST_VERSION)
bazel_dep(name = "boost.heap", version = BOOST_VERSION)
bazel_dep(name = "boost.icl", version = BOOST_VERSION)
bazel_dep(name = "boost.integer", version = BOOST_VERSION)
bazel_dep(name = "boost.io", version = BOOST_VERSION)
bazel_dep(name = "boost.iostreams", version = BOOST_VERSION)
bazel_dep(name = "boost.iterator", version = BOOST_VERSION)
bazel_dep(name = "boost.json", version = BOOST_VERSION)
bazel_dep(name = "boost.lambda", version = BOOST_VERSION)
bazel_dep(name = "boost.lexical_cast", version = BOOST_VERSION)
bazel_dep(name = "boost.math", version = BOOST_VERSION)
bazel_dep(name = "boost.multi_array", version = BOOST_VERSION)
bazel_dep(name = "boost.optional", version = BOOST_VERSION)
bazel_dep(name = "boost.phoenix", version = BOOST_VERSION)
bazel_dep(name = "boost.polygon", version = BOOST_VERSION)
bazel_dep(name = "boost.property_tree", version = BOOST_VERSION)
bazel_dep(name = "boost.random", version = BOOST_VERSION)
bazel_dep(name = "boost.range", version = BOOST_VERSION)
bazel_dep(name = "boost.regex", version = BOOST_VERSION)
bazel_dep(name = "boost.serialization", version = BOOST_VERSION)
bazel_dep(name = "boost.smart_ptr", version = BOOST_VERSION)
bazel_dep(name = "boost.scope_exit", version = BOOST_VERSION)
bazel_dep(name = "boost.spirit", version = BOOST_VERSION)
bazel_dep(name = "boost.stacktrace", version = BOOST_VERSION)
bazel_dep(name = "boost.system", version = BOOST_VERSION)
bazel_dep(name = "boost.thread", version = BOOST_VERSION)
bazel_dep(name = "boost.tokenizer", version = BOOST_VERSION)
bazel_dep(name = "boost.unordered", version = BOOST_VERSION)
bazel_dep(name = "boost.utility", version = BOOST_VERSION)
bazel_dep(name = "cudd", version = "3.0.0.bcr.2")
bazel_dep(name = "eigen", version = "3.4.0.bcr.3")
bazel_dep(name = "fmt", version = "11.2.0.bcr.1")

# freetype reaches the build transitively (qt-bazel -> harfbuzz -> freetype).
# freetype@2.13.3's BUILD overlay calls the native cc_library rule, which
# Bazel 9 removed, so loading the package fails. 2.13.3.bcr.2 keeps the same
# 2.13.3 source but its overlay loads cc_library from @rules_cc. This is a
# direct bazel_dep rather than a single_version_override so the pin propagates
# to downstream consumers via MVS (overrides only apply in the root module).
bazel_dep(name = "freetype", version = "2.13.3.bcr.2")

# icu is transitive (qt-bazel -> icu). The BCR overlay patches
# u_getDataDirectory() to locate icudt*.dat via
# rules_cc::cc::runfiles::Runfiles::Rlocation(), but Runfiles::Create()
# returns nullptr whenever no runfiles tree is reachable and the overlay
# dereferences it unconditionally. A binary that a bazel/install.sh-style
# step copies out of bazel-bin loses its .runfiles directory, so the first
# locale-aware compare (QCollator, std::locale, ...) anywhere in the process
# segfaults -- e.g. QFileDialog listing a directory, or a sortable Qt list/
# table. Every icu version currently in the BCR carries the same unchecked
# dereference (76.1.bcr.4, 78.2.bcr.2, ...), so a version bump alone would
# not help; the patch null-checks Runfiles::Create()'s result and falls
# through to the "" default instead of crashing.
single_version_override(
    module_name = "icu",
    patch_strip = 1,
    patches = [
        "//bazel/icu-patches:0001-putil-null-check-bazel-runfiles-before-dereference.patch",
    ],
    version = "76.1.bcr.3",
)

# gawk is transitive (abc -> ncurses -> gawk; yosys -> gawk). Same gnulib
# libc-header shadowing as sed: gawk@5.3.2.bcr.2 fails to compile against
# hermetic-llvm's explicit libc -isystem entries.
single_version_override(
    module_name = "gawk",
    version = "5.4.0.bcr.2",
)

bazel_dep(name = "git", version = "2.54.0")

# We enable the external_include_paths feature globally (see .bazelrc), which
# demotes a repo's own -iquote entries to -isystem. git relies on -iquote
# precedence for its quoted includes (builtin/get-tar-commit-id.c includes
# git's own tar.h, which must shadow glibc's <tar.h>); the patch re-adds the
# repo root as -iquote in GIT_COPTS so those includes keep precedence.
single_version_override(
    module_name = "git",
    patch_strip = 1,
    patches = [
        "//bazel/git-patches:0001-iquote-own-headers-over-external_include_paths.patch",
    ],
    version = "2.54.0",
)

bazel_dep(name = "googletest", version = "1.17.0.bcr.2")

# m4 is transitive (bison/rules_flex -> m4). Same gnulib libc-header
# shadowing class as sed/gawk under hermetic-llvm (BCR #7642).
single_version_override(
    module_name = "m4",
    version = "1.4.21.bcr.4",
)

bazel_dep(name = "libdeflate", version = "1.26")
bazel_dep(name = "openmp", version = "21.1.5.bcr.2")
bazel_dep(name = "or-tools", version = "9.15")

# sed is transitive (abc -> ncurses -> sed). Its vendored gnulib headers
# deliberately shadow libc headers (stdio.h, error.h); hermetic-llvm's
# explicit libc -isystem entries outrank them and sed@4.9.bcr.3 fails to
# compile (BCR #7642). 4.9.bcr.5 carries the upstream fix (BCR #7915).
single_version_override(
    module_name = "sed",
    version = "4.9.bcr.5",
)

# spdlog < 1.16.0.bcr.2's BUILD.bazel calls the native cc_test rule, which
# Bazel 9 removed; loading the package fails. 1.16.0.bcr.2+ loads cc_test
# from @rules_cc.
bazel_dep(name = "spdlog", version = "1.17.0")
bazel_dep(name = "tcl_lang", version = "9.0.2.bcr.2")
bazel_dep(name = "tcmalloc", version = "0.0.0-20250927-12f2552")
bazel_dep(name = "yaml-cpp", version = "0.9.0")
bazel_dep(name = "zlib", version = "1.3.1.bcr.8")

# A from source build of QT that allows it to link into OpenROAD.
# Building like any other bazel project. scripts in the docker folder
# of this project generate stubs .ifso for things like X11 that will
# allow openroad to link, but will search on the system at runtime for
# the correct system libs.
bazel_dep(name = "qt-bazel")

# external_include_paths (see .bazelrc) moves Qt's external-repo include dirs
# into compilation_context.external_includes. The moc rule at the older pin did
# not gather those, so moc lost Qt's own header search paths and failed under
# --config=lint (qtextimagehandler_p.h "Undefined interface", qfilesystemmodel.h
# "Parse error at QT7_ONLY"). 541ebf6d teaches the moc rule to also collect
# external_includes. 5587ebca adds the qwebp imageformat plugin so save_image
# can write .webp (without it the path is rewritten to *.webp.png).
# c3319f9e includes <stdlib.h> for free() in qxcbatom.cpp, which libc++ 23
# (hermetic-llvm >= 0.8.20) no longer pulls in transitively.
git_override(
    module_name = "qt-bazel",
    commit = "c3319f9e7735c67d47c7dfcc4a135bb91080f1a3",
    remote = "https://github.com/The-OpenROAD-Project/qt_bazel_prebuilts",
)

## Lock the compiler version and avoid any local compiler.
## Downstream consumers must configure their own C++ toolchain.
##
## hermetic-llvm (BCR module "llvm") provides statically linked LLVM
## binaries and a zero-sysroot cc_toolchain: no host compiler, linker,
## libxml2 or /usr/include involved, and it runs unmodified on distros
## without FHS paths (e.g. NixOS).
## Keep >= 0.8.14: earlier releases silently produce empty `bazel coverage`
## reports (hermeticbuild/hermetic-llvm#675), which --config=coverage needs.
bazel_dep(name = "llvm", version = "0.8.24", dev_dependency = True)

# --- Dev dependencies (not propagated to downstream consumers) ---

bazel_dep(name = "aspect_rules_lint", version = "2.5.2", dev_dependency = True)
bazel_dep(name = "bant", version = "0.3.5", dev_dependency = True)
bazel_dep(name = "buildifier_prebuilt", version = "8.5.1.2", dev_dependency = True)

# kepler-formal: the LEC engine the hierarchy conformance tests shell out to.
# Never linked (GPL-3.0 vs BSD-3-Clause); built here only so the tests get the
# binary as a runfile instead of requiring a locally installed one.
#
# Its @onetbb dep is built with rules_foreign_cc cmake(), which reuses
# CMAKE_CXX_FLAGS at link time; OpenROAD's global `-xc++` (.bazelrc) would then
# make clang parse .o files as source. //bazel:kepler.bzl wraps the binary in a
# transition that strips that one flag for this subgraph only.
bazel_dep(name = "kepler-formal", version = "1.0.0", dev_dependency = True)

# Patch 0001 stops naja's Python-embedding target from exporting
# `-L/usr/lib/<multiarch>` as a linkopt: it precedes bazel's own -L entries, so
# @onetbb's `-l:libtbb.so.12` / `-l:libtbbmalloc.so.2` resolve to the host's
# system TBB (link failure under the hermetic toolchain; two TBB runtimes in
# one process where it does link).
#
# Patch 0002 keeps kepler from imposing three things on this build that a
# test-only dependency has no business changing. All three are things kepler
# chose for its OWN builds, where they are reasonable; they are only wrong when
# inherited. Overrides are applied before bazel reads the dependency's
# MODULE.bazel, so they can be corrected here rather than waiting upstream.
#
#   - Three unguarded register_toolchains lines that select rules_foreign_cc's
#     *preinstalled* cmake/make/pkg-config -- bare $PATH lookups. Registration
#     from a dependency is global, and kepler sits closer to the root than
#     rules_foreign_cc, so those outrank rules_foreign_cc's own defaults
#     (downloaded cmake 3.31.8, make built from @gnumake_src) and turn a
#     hermetic build into one that needs host tools. Deleting them restores the
#     defaults. kepler guards its llvm registration this way already, with a
#     comment explaining exactly why, so this looks like an oversight.
#   - fmt 12.2.0, which minimal version selection would apply to the WHOLE
#     graph. slang does not compile against it ("no member named 'format' in
#     namespace 'fmt'" in slang/util/CommandLine.h). Corrected at the request
#     rather than with a root-level single_version_override, which would also
#     silently pin every other consumer of fmt.
#   - zlib 1.3.2, likewise graph-wide, and into the shipped binaries.
#
# archive_override rather than git_override: a non-registry override is
# fetched during resolution of every bazel command, so git_override makes
# every build need git access to github.com.
archive_override(
    module_name = "kepler-formal",
    integrity = "sha256-1ap3fiGjlWaZSG/kHAdxFpmgrTcMhqEmg6i1+1zssZY=",
    patch_strip = 1,
    patches = [
        "//bazel/kepler-patches:0001-python-embed-do-not-export-a-system-library-search-di.patch",
        "//bazel/kepler-patches:0002-module-do-not-impose-host-toolchains-or-version-bumps.patch",
        "//bazel/kepler-patches:0003-tbb-use-the-bcr-module-instead-of-a-cmake-build.patch",
        "//bazel/kepler-patches:0004-drop-the-python-primitive-loader-from-the-binary.patch",
        "//bazel/kepler-patches:0005-verilog-codegen-use-bazel-built-bison-flex-m4.patch",
        "//bazel/kepler-patches:0006-slang-codegen-use-the-builds-python-not-the-hosts.patch",
        "//bazel/kepler-patches:0007-naja-version-header-without-host-sed.patch",
    ],
    strip_prefix = "kepler-formal-5eced47bf5d4330b60dcaadc7babdfdc092b0c3b",
    urls = ["https://github.com/keplertech/kepler-formal/archive/5eced47bf5d4330b60dcaadc7babdfdc092b0c3b.tar.gz"],
)

# JavaScript / web UI: //:openroad embeds the npm libraries esbuild bundles.
bazel_dep(name = "aspect_rules_esbuild", version = "0.27.0")
bazel_dep(name = "aspect_rules_js", version = "3.5.1")
bazel_dep(name = "rules_nodejs", version = "6.7.3")

# --- Extensions ---

register_toolchains(
    "@llvm//toolchain:all",
    dev_dependency = True,
)

# hermetic-llvm ships a minimal macOS SDK subset (frameworks are opt-in).
# Qt (qt-bazel) needs the desktop frameworks; the first six entries are
# hermetic-llvm's defaults, which listing any framework replaces.
osx = use_extension("@llvm//extensions:osx.bzl", "osx", dev_dependency = True)
osx.frameworks(names = [
    "CoreFoundation",
    "Foundation",
    "Kernel",
    "OSLog",
    "Security",
    "SystemConfiguration",
    "AppKit",
    "ApplicationServices",
    "CFNetwork",
    "Carbon",
    "Cocoa",
    "ColorSync",
    "CoreData",
    "CoreGraphics",
    "CoreImage",
    "CoreServices",
    "CoreText",
    "CoreVideo",
    "DiskArbitration",
    # ATS (inside the ApplicationServices umbrella) has .tbd symlinks into
    # the FontServices private framework; without it they dangle and bazel
    # rejects the sysroot ("file type is not supported").
    "FontServices",
    "GSS",
    "IOKit",
    "IOSurface",
    "ImageIO",
    "Metal",
    # MetalKit's MTKModel.h includes ModelIO/ModelIO.h.
    "MetalKit",
    "ModelIO",
    "OpenGL",
    # PrintCore is inside the ApplicationServices umbrella, but must be
    # named for the SDK subset to keep usr/include/cups (its ObjC headers
    # import <cups/ppd.h>).
    "PrintCore",
    "QuartzCore",
    # AppKit reaches these on macOS: NSImageView.h includes Symbols
    # unconditionally; NSText*.h take the non-UIKit branch into the
    # UIFoundation private framework; NSSharingService pulls CloudKit.
    "CloudKit",
    "Symbols",
    "UIFoundation",
    "UniformTypeIdentifiers",
])

rules_python_config = use_extension("@rules_python//python/extensions:config.bzl", "config")
rules_python_config.explicit_init_py(default = True)

python = use_extension("@rules_python//python/extensions:python.bzl", "python")
python.toolchain(
    ignore_root_user_error = True,
    python_version = "3.13",
)
use_repo(python, "python_3_13")

pip = use_extension("@rules_python//python/extensions:pip.bzl", "pip")
pip.parse(
    extra_pip_args = [
        "--index-url=https://pypi.org/simple",
    ],
    hub_name = "openroad-pip",
    python_version = "3.13",
    requirements_lock = "//bazel:requirements_lock_3_13.txt",
)
use_repo(pip, "openroad-pip")

# Black gets its own hub: tclint 0.7.0 pins pathspec==0.11.2 and black >= 26
# requires pathspec >= 1.0.0, so they cannot resolve together.
pip.parse(
    extra_pip_args = [
        "--index-url=https://pypi.org/simple",
    ],
    hub_name = "openroad-black-pip",
    python_version = "3.13",
    requirements_lock = "//bazel:requirements_black_lock_3_13.txt",
)
use_repo(pip, "openroad-black-pip")

# rules_pycross's toolchain extension fails on Python
# 3.8 (transitively registered via or-tools -> pybind11_abseil, dropped
# from rules_python 2.0.0's MINOR_MAPPING). pycross.configure_environments
# is root-honored only, so the workaround lives here.
pycross = use_extension("@rules_pycross//pycross/extensions:pycross.bzl", "pycross")
pycross.configure_environments(python_versions = ["3.13"])

# Not a dev dependency: //:openroad's web assets are built on it.
node = use_extension(
    "@rules_nodejs//nodejs:extensions.bzl",
    "node",
)
node.toolchain(node_version = "22.14.0")

# The viewer's browser libraries, bundled into the assets embedded in the
# binary.  Not a dev dependency: //:openroad does not build without it.
npm_web = use_extension("@aspect_rules_js//npm:extensions.bzl", "npm")
npm_web.npm_translate_lock(
    name = "npm_web",
    npmrc = "//src/web:.npmrc",
    # Only the lock is read; //src/web/test:npm_lock_test keeps it in step
    # with src/web/package.json.
    pnpm_lock = "//src/web:pnpm-lock.yaml",
)

# sax ships its licence as LICENSE.md, which the default "basic" preset strips
# with every other *.md; //src/web:third_party_licenses needs it.
npm_web.npm_exclude_package_contents(
    package = "sax",
    presets = [],
)
use_repo(npm_web, "npm_web")

# Regenerate //src/web:pnpm-lock.yaml after editing //src/web:package.json:
#   bazelisk run -- @pnpm//:pnpm --dir $PWD/src/web install --lockfile-only
pnpm = use_extension(
    "@aspect_rules_js//npm:extensions.bzl",
    "pnpm",
    dev_dependency = True,
)
use_repo(pnpm, "pnpm")

npm = use_extension(
    "@aspect_rules_js//npm:extensions.bzl",
    "npm",
    dev_dependency = True,
)
npm.npm_translate_lock(
    name = "npm",
    pnpm_lock = "//src/web/test:pnpm-lock.yaml",
)
use_repo(npm, "npm")

# --- External archives ---

http_archive = use_repo_rule("@bazel_tools//tools/build_defs/repo:http.bzl", "http_archive")

bazel_dep(name = "sv-elab", version = "2026-10-13")
local_path_override(
    module_name = "sv-elab",
    path = "third-party/sv-elab",
)

# --- pandoc for macOS arm64 (used by //docs:man_pages) ---
#
# The macosx_11_0_arm64 wheel of pypandoc-binary (1.16 through 1.17) ships
# the x86_64 pandoc, which fails with "Bad CPU type in executable" on Apple
# Silicon without Rosetta 2. On that platform //bazel:pandoc takes the
# upstream release instead. Keep the version equal to the pandoc that the
# pinned wheel bundles (pypandoc-binary 1.17 -> pandoc 3.9), so every
# platform renders the man pages with the same pandoc.
http_archive(
    name = "pandoc_macos_arm64",
    build_file_content = """\
filegroup(
    name = "pandoc",
    srcs = ["bin/pandoc"],
    visibility = ["//visibility:public"],
)
""",
    sha256 = "7d56ac6fe6fad0a7407bcd776aa142f61ca41838f286165f79d0584fa57b24d1",
    strip_prefix = "pandoc-3.9-arm64",
    urls = ["https://github.com/jgm/pandoc/releases/download/3.9/pandoc-3.9-arm64-macOS.zip"],
)

# --- GPU build (opt-in) ---
#
# Kokkos and KokkosFFT are not available from BCR at these versions and do not
# publish Bazel targets, so checksum-pinned archives use small BUILD overlays.
# Remove these rules if supported upstream/BCR Bazel targets become available.
# Bazel fetches the archives lazily: CPU targets neither download nor compile
# them. The CUDA toolkit remains system-provided and is wrapped separately.
http_archive(
    name = "kokkos",
    build_file = "//bazel/gpu/kokkos:BUILD.kokkos.bazel",
    sha256 = "d6557aaef39302282a15f9c770433d1fcdf4e961dfd6d9ed726b9d0d0f546b9f",
    strip_prefix = "kokkos-5.2.2",
    urls = ["https://github.com/kokkos/kokkos/releases/download/5.2.2/kokkos-5.2.2.tar.gz"],
)

http_archive(
    name = "kokkos_fft",
    build_file = "//bazel/gpu/kokkos:BUILD.kokkos_fft.bazel",
    sha256 = "f2c1f7b848e68aa214f2dea7820c22e729564167a4d4010170b01c81ad3a0714",
    strip_prefix = "kokkos-fft-2.0.0",
    # KokkosFFT 2.0.0 has no release tarball asset, so use GitHub's generated
    # tag archive; sha256 makes any server-side byte change fail loudly.
    urls = ["https://github.com/kokkos/kokkos-fft/archive/refs/tags/v2.0.0.tar.gz"],
)

cuda_local_repository = use_repo_rule("//bazel/gpu:system_gpu.bzl", "cuda_local_repository")

cuda_local_repository(
    name = "cuda_local",
    default_path = "/usr/local/cuda-12.8",
)

# --- Overrides ---

# scip 9.2.3's tinycthread uses bare C11 <threads.h> names. Backport
# scipopt/scip@cc917e07 (TNY_ prefix) until a fixed release lands in BCR.
# The .bcr.1 revision keeps the 9.2.3 source (patch still applies) but its
# overlay BUILD loads cc_library/cc_binary from @rules_cc rather than the
# native rules Bazel 9 removed.
single_version_override(
    module_name = "scip",
    patch_strip = 1,
    patches = ["//bazel:scip_tinycthread_tny_prefix.patch"],
    version = "9.2.3.bcr.1",
)