646b892680
Some checks failed
Periodic Merges (6h) / master → staging-nixos (push) Failing after 12m50s
Periodic Merges (6h) / master → staging-next (push) Failing after 12m54s
Periodic Merges (24h) / merge-base(master,staging) → haskell-updates (push) Failing after 11m54s
Periodic Merges (6h) / staging-next → staging (push) Failing after 12m13s
Periodic Merges (24h) / staging-next-25.05 → staging-25.05 (push) Failing after 13m24s
Periodic Merges (24h) / release-25.05 → staging-next-25.05 (push) Failing after 14m28s
57 lines
1.6 KiB
Nix
57 lines
1.6 KiB
Nix
{
|
|
pkgs,
|
|
lib,
|
|
newScope,
|
|
Agda,
|
|
}:
|
|
|
|
let
|
|
mkAgdaPackages = Agda: lib.makeScope newScope (mkAgdaPackages' Agda);
|
|
mkAgdaPackages' =
|
|
Agda: self:
|
|
let
|
|
inherit (self) callPackage;
|
|
inherit
|
|
(callPackage ../build-support/agda {
|
|
inherit Agda self;
|
|
inherit (pkgs.haskellPackages) ghcWithPackages;
|
|
})
|
|
withPackages
|
|
mkLibraryFile
|
|
mkDerivation
|
|
;
|
|
in
|
|
{
|
|
inherit mkLibraryFile mkDerivation;
|
|
|
|
lib = lib.extend (final: prev: import ../build-support/agda/lib.nix { lib = prev; });
|
|
|
|
agda = withPackages [ ];
|
|
|
|
standard-library = callPackage ../development/libraries/agda/standard-library { };
|
|
|
|
iowa-stdlib = callPackage ../development/libraries/agda/iowa-stdlib { };
|
|
|
|
agda-prelude = callPackage ../development/libraries/agda/agda-prelude { };
|
|
|
|
agda-categories = callPackage ../development/libraries/agda/agda-categories { };
|
|
|
|
agda2hs-base = callPackage ../development/libraries/agda/agda2hs-base { };
|
|
|
|
cubical = callPackage ../development/libraries/agda/cubical { };
|
|
|
|
cubical-mini = callPackage ../development/libraries/agda/cubical-mini { };
|
|
|
|
functional-linear-algebra = callPackage ../development/libraries/agda/functional-linear-algebra { };
|
|
|
|
generic = callPackage ../development/libraries/agda/generic { };
|
|
|
|
agdarsec = callPackage ../development/libraries/agda/agdarsec { };
|
|
|
|
_1lab = callPackage ../development/libraries/agda/1lab { };
|
|
|
|
generics = callPackage ../development/libraries/agda/generics { };
|
|
};
|
|
in
|
|
mkAgdaPackages Agda
|