monad/flake.nix at main · vellvm/monad · 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 = "Monad library in Rocq.";

  inputs = {
    nixpkgs.url = "github:NixOS/nixpkgs/nixos-25.05";
    flake-utils.url = "github:numtide/flake-utils";
  };

  outputs = { self, nixpkgs, flake-utils }:
    flake-utils.lib.eachDefaultSystem (system:
      let
        pkgs = import nixpkgs { inherit system; };
        lib = pkgs.lib;
        rocq = pkgs.rocq-core;
        rocqPkgs = pkgs.rocqPackages_9_0;
        coqPkgs = pkgs.coqPackages_9_0;

        version = "monads:master";
      in rec {
        packages = {
          default = (pkgs.callPackage ./release.nix ({ coq = pkgs.coq; inherit rocq version rocqPkgs coqPkgs; })).monad;
        };

        defaultPackage = packages.default;

        app.default = flake-utils.lib.mkApp { drv = packages.default; };

        devShells = {
          # Include a fixed version of clang in the development environment for testing.
          default = pkgs.mkShell {
            inputsFrom = [ packages.default];
            buildInputs = [ pkgs.coq # Needed to make proof general happy for development.
                          ];
            shellHook = ''
              unset COQPATH
            '';
          };
        };

        devShell = devShells.default;
      });
}