2019-12-29 13:14:16 +01: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;
|
|
|
|
|
|
|
|
|
|
agda = withPackages [] // { inherit withPackages; };
|
|
|
|
|
|
|
|
|
|
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 18:22:00 +01:00
|
|
|
|
|
|
|
|
agda-categories = callPackage ../development/libraries/agda/agda-categories { };
|
2020-05-19 19:20:35 +02:00
|
|
|
|
|
|
|
|
cubical = callPackage ../development/libraries/agda/cubical { };
|
2019-12-29 13:14:16 +01:00
|
|
|
};
|
|
|
|
|
in mkAgdaPackages Agda
|
