Coq-HoTT/flake.nix at master · dhsorens/Coq-HoTT · 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
{
  description = "A Coq library for Homotopy Type Theory";

  inputs = {
    nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable";

    flake-utils.url = "github:numtide/flake-utils";
  };

  outputs =
    { self
    , nixpkgs
    , flake-utils
    ,
    }:
    flake-utils.lib.eachDefaultSystem (
      system:
      let
        pkgs = nixpkgs.legacyPackages.${system};
        coq_version = pkgs.coq_8_17;
      in
      {
        packages.default = pkgs.coqPackages.mkCoqDerivation {
          pname = "hott";
          version = "8.17";
          src = self;
          useDune = true;
        };

        devShells.default = pkgs.mkShell {
          buildInputs = with pkgs; [
            dune_3
            ocaml
            coq
            coqPackages.coq-lsp
          ];
        };

        formatter = pkgs.nixpkgs-fmt;
      }
    );
}