Skip to content

Commit

Permalink
libresoc: use fetchgit for ieee754fpu instead of fetchFromGitHub
Browse files Browse the repository at this point in the history
This allows us to use the same hash across the original upstream repo
and the mirror.
  • Loading branch information
albertchae committed Apr 29, 2024
1 parent 218ebb1 commit 5847a16
Showing 1 changed file with 7 additions and 5 deletions.
12 changes: 7 additions & 5 deletions pkgs/by-name/libresoc/ieee754fpu.nix
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
python39Packages,
fetchFromGitHub,
fetchgit,
symbiyosys,
nmutil,
nmigen,
Expand All @@ -12,11 +12,13 @@ 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";
rev = "829dfbc53ba38ec17bc544cb0b862e73cee223db"; # HEAD @ version date
# 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";
hash = "sha256-Ghbvg2Y4YlmxVEa3EtcvEVai4hC4VU4q+XIQh4pQ7+c=";
rev = "829dfbc53ba38ec17bc544cb0b862e73cee223db"; # HEAD @ version date
};

prePatch = ''
Expand Down

0 comments on commit 5847a16

Please sign in to comment.