tjh.dev
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1{
2 pkgs,
3 lib,
4 newScope,
5 Agda,
6}:
7
8let
9 mkAgdaPackages = Agda: lib.makeScope newScope (mkAgdaPackages' Agda);
10 mkAgdaPackages' =
11 Agda: self:
12 let
13 inherit (self) callPackage;
14 inherit
15 (callPackage ../build-support/agda {
16 inherit Agda self;
17 inherit (pkgs.haskellPackages) ghcWithPackages;
18 })
19 withPackages
20 mkLibraryFile
21 mkDerivation
22 ;
23 in
24 {
25 inherit mkLibraryFile mkDerivation;
26
27 lib = lib.extend (final: prev: import ../build-support/agda/lib.nix { lib = prev; });
28
29 agda = withPackages [ ];
30
31 standard-library = callPackage ../development/libraries/agda/standard-library {
32 inherit (pkgs.haskellPackages) ghcWithPackages;
33 };
34
35 iowa-stdlib = callPackage ../development/libraries/agda/iowa-stdlib { };
36
37 agda-prelude = callPackage ../development/libraries/agda/agda-prelude { };
38
39 agda-categories = callPackage ../development/libraries/agda/agda-categories { };
40
41 cubical = callPackage ../development/libraries/agda/cubical { };
42
43 cubical-mini = callPackage ../development/libraries/agda/cubical-mini { };
44
45 functional-linear-algebra = callPackage ../development/libraries/agda/functional-linear-algebra { };
46
47 generic = callPackage ../development/libraries/agda/generic { };
48
49 agdarsec = callPackage ../development/libraries/agda/agdarsec { };
50
51 _1lab = callPackage ../development/libraries/agda/1lab { };
52
53 generics = callPackage ../development/libraries/agda/generics { };
54 };
55in
56mkAgdaPackages Agda