Handle hash mismatch for ieee754fpu

ngi-nix · Apr 29, 2024 · 50900f7 · 50900f7
1 parent e4b21a2
commit 50900f7
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/pkgs/by-name/libresoc/ieee754fpu.nix b/pkgs/by-name/libresoc/ieee754fpu.nix
@@ -1,6 +1,6 @@
 {
   python39Packages,
-  fetchFromGitHub,
+  fetchgit,
   symbiyosys,
   nmutil,
   nmigen,
@@ -12,9 +12,11 @@ with python39Packages;
     version = "unstable-2024-03-31";
 
     # mirror of https://git.libre-soc.org/git/ieee754fpu.git
-    src = fetchFromGitHub {
-      owner = "Libre-SOC-mirrors";
-      repo = "ieee754fpu";
+    # use fetchgit instead of fetchFromGitHub so we can use the same hash across original
+    # upstream repo and GitHub mirror. For some reason with fetchFromGitHub, even with the
+    # the same rev we are getting a different hash (unlike every other mirrored repo)
+    src = fetchgit {
+      url = "https://github.com/Libre-SOC-mirrors/ieee754fpu.git";
       rev = "829dfbc53ba38ec17bc544cb0b862e73cee223db"; # HEAD @ version date
       hash = "sha256-Ghbvg2Y4YlmxVEa3EtcvEVai4hC4VU4q+XIQh4pQ7+c=";
     };