@@ -23,7 +23,7 @@ single_version_override(
2323
2424bazel_dep (name = "abseil-cpp" , version = "20260107.1" )
2525bazel_dep (name = "bazel_skylib" , version = "1.7.1" )
26- bazel_dep (name = "coin-or-lemon" , version = "1.3.1" )
26+ bazel_dep (name = "coin-or-lemon" , version = "1.3.1.bcr.1 " )
2727bazel_dep (name = "platforms" , version = "1.0.0" )
2828bazel_dep (name = "rules_bison" , version = "0.3.1" )
2929bazel_dep (name = "rules_cc" , version = "0.2.18" )
@@ -78,7 +78,7 @@ bazel_dep(name = "eigen", version = "3.4.0.bcr.3")
7878bazel_dep (name = "fmt" , version = "11.2.0.bcr.1" )
7979bazel_dep (name = "git" , version = "2.54.0" )
8080bazel_dep (name = "googletest" , version = "1.17.0.bcr.2" )
81- bazel_dep (name = "openmp" , version = "21.1.5.bcr.1 " )
81+ bazel_dep (name = "openmp" , version = "21.1.5.bcr.2 " )
8282bazel_dep (name = "or-tools" , version = "9.15" )
8383bazel_dep (name = "spdlog" , version = "1.15.1" )
8484bazel_dep (name = "sv-lang" , version = "10.0.1-20260316-f04e8156" )
@@ -158,17 +158,12 @@ archive_override(
158158)
159159
160160bazel_dep (name = "yosys" , version = "0.62.bcr.2" , dev_dependency = True )
161-
162- # yosys-slang is not on BCR. Pin to a commit on povik/yosys-slang master
163- # that has the upstream Bazel build (povik/yosys-slang#310) and the
164- # slang.so visibility fix (povik/yosys-slang#311). Submodules pull in
165- # vendored slang and fmt sources.
166- bazel_dep (name = "yosys-slang" , dev_dependency = True )
167- git_override (
161+ bazel_dep (name = "yosys-slang" , version = "0.0.0" , dev_dependency = True )
162+ archive_override (
168163 module_name = "yosys-slang" ,
169- commit = "7753ea70431d85929292b90c33b32f6dbdb3b048 " ,
170- init_submodules = True ,
171- remote = "https://github.com/povik/yosys-slang.git" ,
164+ sha256 = "34198f2ed7b2d3175c3ce3c9fb1c6c91f28dbcfe531d97b91d6b12c48431bdef " ,
165+ strip_prefix = "sv-elab-6760afa2c9b9ba231a9c6a9e94f0939dd39f0a20" ,
166+ urls = [ "https://github.com/povik/yosys-slang/archive/6760afa2c9b9ba231a9c6a9e94f0939dd39f0a20.tar.gz" ] ,
172167)
173168
174169# --- Extensions ---
0 commit comments