gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

coq: Fix bug when supplying release src.

Browse Source 
Because of Nix precedence rules, the previous version of `mkCoqDerivation`
required that the supplied `src` parameter to a package's release were a
function that returned the source.  If an actual source was provided, a
confusing error message was thrown.  This commit fixes this issue.
This commit is contained in:
Arthur Azevedo de Amorim
2025-05-05 10:55:41 -04:00
committed by Vincent Laporte
parent 76084a6a33
commit 90db71098f
1 changed files with 9 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
pkgs/build-support/coq/meta-fetch/default.nix
View File

@@ -148,14 +148,15 @@ switch arg [
in
{
version = rv.version or v;
src = rv.src or fetcher (
location
// {
rev = releaseRev v;
artifact = releaseArtifact v;
}
// rv
);
src =
rv.src or (fetcher (
location
// {
rev = releaseRev v;
artifact = releaseArtifact v;
}
// rv
));
};
}
{