nixpkgs/pkgs/top-level/agda-packages.nix

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

41 lines
1.4 KiB
Nix
Raw Normal View History

2019-12-29 12:14:16 +00:00
{ pkgs, lib, callPackage, newScope, Agda }:
let
mkAgdaPackages = Agda: lib.makeScope newScope (mkAgdaPackages' Agda);
mkAgdaPackages' = Agda: self: let
callPackage = self.callPackage;
inherit (callPackage ../build-support/agda {
inherit Agda self;
inherit (pkgs.haskellPackages) ghcWithPackages;
}) withPackages mkDerivation;
in {
inherit mkDerivation;
lib = lib.extend (final: prev: import ../build-support/agda/lib.nix { lib = prev; });
2021-02-05 13:24:54 +00:00
agda = withPackages [] // {
inherit withPackages;
passthru.tests.allPackages = withPackages (lib.filter (pkg: self.lib.isUnbrokenAgdaPackage pkg) (lib.attrValues self));
};
2019-12-29 12:14:16 +00:00
standard-library = callPackage ../development/libraries/agda/standard-library {
inherit (pkgs.haskellPackages) ghcWithPackages;
};
iowa-stdlib = callPackage ../development/libraries/agda/iowa-stdlib { };
agda-prelude = callPackage ../development/libraries/agda/agda-prelude { };
2019-12-29 17:22:00 +00:00
agda-categories = callPackage ../development/libraries/agda/agda-categories { };
cubical = callPackage ../development/libraries/agda/cubical { };
2020-08-10 09:02:57 +00:00
functional-linear-algebra = callPackage
../development/libraries/agda/functional-linear-algebra { };
2020-08-10 09:02:57 +00:00
generic = callPackage ../development/libraries/agda/generic { };
2020-10-12 18:00:06 +00:00
agdarsec = callPackage ../development/libraries/agda/agdarsec { };
2019-12-29 12:14:16 +00:00
};
in mkAgdaPackages Agda