agda-meta-semantics/shell.nix at main · sergey-goncharov/agda-meta-semantics · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
{ pkgs ? import <nixpkgs> { } }:
with pkgs;
mkShell {
  buildInputs = [
    (agda.withPackages [
      (agdaPackages.standard-library.overrideAttrs (oldAttrs: {
        version = "2.2";
        src = fetchFromGitHub {
          repo = "agda-stdlib";
          owner = "agda";
          rev = "v2.2";
          hash = "sha256-/Fy5EOSbVNXt6Jq0yKSnlNPW4SYfn+eCTAYFnMZrbR0=";
        };
      }))
      (agdaPackages.agda-categories.overrideAttrs (oldAttrs : {
        version = "0.2.0";
         src = fetchFromGitHub {
           repo = "agda-categories";
           owner = "agda";
           rev = "cce07616535ea228978b08adc6dd53c275491464";
           hash = "sha256-8UK0I1WO5JJLpxvm23k6xPNf2zfbckDHMscpraaozTM=";
         };

        # without this nix might use a wrong version of the stdlib to try and typecheck agda-categories
        buildInputs = [
          (agda.withPackages [
            (agdaPackages.standard-library.overrideAttrs (oldAttrs: {
              version = "2.2";
              src = fetchFromGitHub {
                repo = "agda-stdlib";
                owner = "agda";
                rev = "v2.2";
                hash = "sha256-/Fy5EOSbVNXt6Jq0yKSnlNPW4SYfn+eCTAYFnMZrbR0=";
              };
            }))
          ])
         ];

        GHCRTS = "-M6G";
      }))
    ])
  ];

  shellHook = ''
    # ...
  '';
}