1
1
mirror of https://github.com/the-nix-way/dev-templates synced 2024-12-21 07:04:17 +01:00
github.com_the-nix-way_dev-.../lean4/flake.nix

21 lines
600 B
Nix
Raw Normal View History

2024-10-11 23:19:54 +02:00
{
description = "A Nix-flake-based Lean 4 development environment";
inputs.nixpkgs.url = "https://flakehub.com/f/NixOS/nixpkgs/0.1.*.tar.gz";
outputs = { self, nixpkgs }:
let
supportedSystems = [ "x86_64-linux" "aarch64-linux" "x86_64-darwin" "aarch64-darwin" ];
forEachSupportedSystem = f: nixpkgs.lib.genAttrs supportedSystems (system: f {
pkgs = import nixpkgs { inherit system; };
});
in
{
devShells = forEachSupportedSystem ({ pkgs }: {
default = pkgs.mkShell {
packages = with pkgs; [ lean4 ];
};
});
};
}