archives/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-03-08 01:24:09 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

build-support/agda: Keep passthru in mkDerivation

Browse source
This commit is contained in:
Rasheeq Azad 2025-11-27 09:00:28 -05:00
parent e82458483c
commit 1edff9d8ae
1 changed files with 8 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

11
pkgs/build-support/agda/default.nix
View file

@ -94,6 +94,7 @@ let
{
pname,
meta,
passthru ? { },
buildInputs ? [ ],
libraryName ? pname,
libraryFile ? "${libraryName}.agda-lib",
@ -145,9 +146,13 @@ let
meta = if meta.broken or false then meta // { hydraPlatforms = platforms.none; } else meta;
# Retrieve all packages from the finished package set that have the current package as a dependency and build them
passthru.tests = filterAttrs (
name: pkg: self.lib.isUnbrokenAgdaPackage pkg && elem pname (map (pkg: pkg.pname) pkg.buildInputs)
) self;
passthru = passthru // {
tests =
passthru.tests or { }
// filterAttrs (
name: pkg: self.lib.isUnbrokenAgdaPackage pkg && elem pname (map (pkg: pkg.pname) pkg.buildInputs)
) self;
};
};
in
{