Use a location of cudd with a stable git hash. (#399)

Using archive links from github is dangerous as they can change
any time, as they build them on-the-fly, so hashing the file
can create unstable hashes:

https://github.blog/open-source/git/update-on-the-future-stability-of-source-code-archives-and-hashes/

(Unlike for instance nix, bazel does not hash the content of a tar but
the binary tar.gz itself, so it is prone to run into the issue)

Fix that by using another source that is providing the tar.gz itself,
so is stable.

Note: this will change this dependency from `@com_github_ivmai_cudd`
to `@com_github_davidkebo_cudd`

Author: hzeller

dependency_support/com_github_ivmai_cudd/BUILD renamed to dependency_support/com_github_davidkebo_cudd/BUILD

@@ -140,7 +140,7 @@ cc_library(
 
 genrule(
   name = "config",
-  srcs = ["@rules_hdl//dependency_support/com_github_ivmai_cudd:config.h"],
+  srcs = ["@rules_hdl//dependency_support/com_github_davidkebo_cudd:config.h"],
   outs = ["config.h"],
-  cmd = "cat $(location @rules_hdl//dependency_support/com_github_ivmai_cudd:config.h) > $@",
-)
+  cmd = "cat $(location @rules_hdl//dependency_support/com_github_davidkebo_cudd:config.h) > $@",
+)

dependency_support/com_github_ivmai_cudd/bundled.BUILD.bazel renamed to dependency_support/com_github_davidkebo_cudd/bundled.BUILD.bazel

@@ -17,14 +17,14 @@
 load("@bazel_tools//tools/build_defs/repo:http.bzl", "http_archive")
 load("@bazel_tools//tools/build_defs/repo:utils.bzl", "maybe")
 
-def com_github_ivmai_cudd():
+def com_github_davidkebo_cudd():
     maybe(
         http_archive,
-        name = "com_github_ivmai_cudd",
+        name = "com_github_davidkebo_cudd",
         urls = [
-            "https://github.com/ivmai/cudd/archive/f54f533303640afd5dbe47a05ebeabb3066f2a25.zip",
+            "https://github.com/davidkebo/cudd/raw/refs/heads/main/cudd_versions/cudd-3.0.0.tar.gz",
         ],
-        strip_prefix = "cudd-f54f533303640afd5dbe47a05ebeabb3066f2a25",
-        sha256 = "",
-        build_file = Label("//dependency_support/com_github_ivmai_cudd:bundled.BUILD.bazel"),
+        strip_prefix = "cudd-3.0.0",
+        sha256 = "b8e966b4562c96a03e7fbea239729587d7b395d53cadcc39a7203b49cf7eeb69",
+        build_file = "//dependency_support/com_github_davidkebo_cudd:bundled.BUILD.bazel",
     )

dependency_support/com_github_ivmai_cudd/com_github_ivmai_cudd.bzl renamed to dependency_support/com_github_davidkebo_cudd/com_github_davidkebo_cudd.bzl

@@ -22,9 +22,9 @@ load("//dependency_support/at_clifford_icestorm:at_clifford_icestorm.bzl", "at_c
 load("//dependency_support/at_clifford_yosys:at_clifford_yosys.bzl", "at_clifford_yosys")
 load("//dependency_support/bazel_skylib:bazel_skylib.bzl", "bazel_skylib")
 load("//dependency_support/boost:boost.bzl", "boost")
+load("//dependency_support/com_github_davidkebo_cudd:com_github_davidkebo_cudd.bzl", "com_github_davidkebo_cudd")
 load("//dependency_support/com_github_fmtlib_fmt:com_github_fmtlib_fmt.bzl", "com_github_fmtlib_fmt")
 load("//dependency_support/com_github_gabime_spdlog:com_github_gabime_spdlog.bzl", "com_github_gabime_spdlog")
-load("//dependency_support/com_github_ivmai_cudd:com_github_ivmai_cudd.bzl", "com_github_ivmai_cudd")
 load("//dependency_support/com_github_libbacktrace:com_github_libbacktrace.bzl", "com_github_libbacktrace")
 load("//dependency_support/com_github_ninja_build_ninja:com_github_ninja_build_ninja.bzl", "com_github_ninja_build_ninja")
 load("//dependency_support/com_github_quantamhd_lemon:com_github_quantamhd_lemon.bzl", "com_github_quantamhd_lemon")
@@ -78,7 +78,7 @@ def dependency_support(register_toolchains = True):
     boost()
     com_github_fmtlib_fmt()
     com_github_gabime_spdlog()
-    com_github_ivmai_cudd()
+    com_github_davidkebo_cudd()
     com_github_libbacktrace()
     com_github_ninja_build_ninja()
     com_github_quantamhd_lemon()