diff options
| author | Alex Rice <alexrice999@hotmail.co.uk> | 2019-12-29 12:14:16 +0000 |
|---|---|---|
| committer | Alex Rice <alexrice999@hotmail.co.uk> | 2020-05-14 20:54:11 +0100 |
| commit | d30e2468e0c7875d3d4d47404f52647ccea76fcf (patch) | |
| tree | 988b1d96ad8fe33e6c287049ae5b013311111d28 /pkgs/top-level/agda-packages.nix | |
| parent | 6cbaa256fab7df0d213be5caa14a6a29c9a47ed0 (diff) | |
| download | nixpkgs-d30e2468e0c7875d3d4d47404f52647ccea76fcf.tar nixpkgs-d30e2468e0c7875d3d4d47404f52647ccea76fcf.tar.gz nixpkgs-d30e2468e0c7875d3d4d47404f52647ccea76fcf.tar.bz2 nixpkgs-d30e2468e0c7875d3d4d47404f52647ccea76fcf.tar.lz nixpkgs-d30e2468e0c7875d3d4d47404f52647ccea76fcf.tar.xz nixpkgs-d30e2468e0c7875d3d4d47404f52647ccea76fcf.tar.zst nixpkgs-d30e2468e0c7875d3d4d47404f52647ccea76fcf.zip | |
agda: rework builder
Diffstat (limited to 'pkgs/top-level/agda-packages.nix')
| -rw-r--r-- | pkgs/top-level/agda-packages.nix | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/pkgs/top-level/agda-packages.nix b/pkgs/top-level/agda-packages.nix new file mode 100644 index 00000000000..5bd57b5dec8 --- /dev/null +++ b/pkgs/top-level/agda-packages.nix @@ -0,0 +1,24 @@ +{ 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 { }; + }; +in mkAgdaPackages Agda |