commit 5cdb51bf4c7d7b2451037ba1dd05ce019a379683
author Tim Windelschmidt <tim@monogon.tech> Mon Aug 05 04:19:37 2024 +0200
committer Tim Windelschmidt <tim@monogon.tech> Tue Aug 06 13:59:54 2024 +0000
tree dfb8cb33c89b09f88a112aa5f5f190ecb3ef9a36
parent 1c42c42ff6621c44cdc3da39b066e4fc270105ef

third_party/gnuefi: fetch gnuefi from GitHub

We only fetch gnuefi from Sourceforge and they mirror we are using is
currently not reachable. Gnuefi is available on GitHub officially since
March 2024, so let's migrate this.

Change-Id: Ied23dc87ae649b689aee242718e1c99e559518e3
Reviewed-on: https://review.monogon.dev/c/monogon/+/3306
Tested-by: Jenkins CI
Reviewed-by: Leopold Schabel <leo@monogon.tech>

third_party/gnuefi/external.bzl

diff --git a/third_party/gnuefi/external.bzl b/third_party/gnuefi/external.bzl
index e9e9351..83bf66e 100644
--- a/third_party/gnuefi/external.bzl
+++ b/third_party/gnuefi/external.bzl
@@ -2,7 +2,7 @@
 
 def gnuefi_external(name, version):
     sums = {
-        "3.0.14": "b73b643a0d5697d1f396d7431448e886dd805668789578e3e1a28277c9528435",
+        "3.0.14": "5785e77825fec5e666e4c20d7aaa9af4cd952351b2c09593972744fe8436f957",
     }
 
     http_archive(
@@ -10,5 +10,6 @@
         sha256 = sums[version],
         build_file = "@//third_party/gnuefi:gnuefi.bzl",
         strip_prefix = "gnu-efi-%s" % version,
-        urls = ["https://netix.dl.sourceforge.net/project/gnu-efi/gnu-efi-%s.tar.bz2" % version],
+        urls = ["https://github.com/ncroxon/gnu-efi/archive/refs/tags/%s.tar.gz" % version],
     )
+