flake.nix

{

  description = "Crypto";

  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};
      pkg = leanPkgs.buildLeanPackage {
        name = "Crypto";
        src = ./src;
      };
    in {
      packages = pkg // {
        inherit (leanPkgs) lean;
      };
      devShell = pkgs.mkShell {
        buildInputs = [
          pkgs.lean4
          pkgs.elan
        ];
      };
      defaultPackage = pkg.modRoot;
    });

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

}