leanHelpers/flake.nix at main · suiluj482/leanHelpers · 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
{
  description = "lean";
  inputs.nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable";
  inputs.flake-utils.url = "github:numtide/flake-utils";

  outputs = { self, nixpkgs, flake-utils }:
    flake-utils.lib.eachDefaultSystem (system:
      let
        pkgs = import nixpkgs {
          inherit system;
        };
      in {
        # dev
        devShell = pkgs.mkShell {
          packages = with pkgs; [
            elan

            graphviz
          ];
        };
        # build
        packages.default = pkgs.stdenv.mkDerivation {
          pname = "my-lean-project";
          version = "0.1.0";

          src = src/.;

          nativeBuildInputs = with pkgs; [ lean4 ];

          buildPhase = ''
            lake build
          '';

          installPhase = ''
            mkdir -p $out/bin
            find .lake/build/bin -maxdepth 1 -type f -executable -exec cp {} $out/bin/ \;
          '';
        };
      }
    );
}