ouroboros-lean4/flake.nix at main · functionally/ouroboros-lean4 · 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
48
49
50
51
{

  description = "Peras";

  inputs = {
    nixpkgs.url = "github:NixOS/nixpkgs/nixos-24.05";
    lean = {
      url = "github:leanprover/lean4?ref=v4.7.0";
      inputs.nixpkgs.follows = "nixpkgs";
    };
  # elan.url = "github:leanprover/elan";
    flake-utils.url = "github:numtide/flake-utils";
  };

  outputs = { self, nixpkgs, lean, flake-utils }: flake-utils.lib.eachDefaultSystem (system:
    let
      pkgs = nixpkgs.legacyPackages.${system};
      leanPkgs = lean.packages.${system};
      praos = leanPkgs.buildLeanPackage {
        name = "Praos";
        src = ./praos/src;
      };
      peras = leanPkgs.buildLeanPackage {
        name = "Peras";
        src = ./peras/src;
      };
      leios = leanPkgs.buildLeanPackage {
        name = "Leios";
        src = ./leios/src;
      };
    in {
      packages =
        praos //
        peras //
        leios //
        { inherit (leanPkgs) lean; }
      ;
      devShell = pkgs.mkShell {
        buildInputs = [
          pkgs.lean4
          pkgs.elan
        ];
      };
      defaultPackage = peras.modRoot;
    });

  nixConfig = {
    bash-prompt = "[lean4:\\w]$ ";
  };

}