mirror/nix-community.nixvim
1
0
Fork 0
mirror of https://github.com/nix-community/nixvim.git synced 2025-06-20 16:15:43 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 4

modules/dependencies: add lean

Browse source
This commit is contained in:
Gaetan Lepage 2025-04-07 17:28:21 +02:00 • committed by nix-infra-bot
parent 24aec95e3b
commit 6c37dbd53f
2 changed files with 10 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

1
modules/dependencies.nix
View file

@ -17,6 +17,7 @@ let
example = [ "gitMinimal" ]; example = [ "gitMinimal" ];
}; };
go.default = "go"; go.default = "go";
lean.default = "lean4";
nodejs = { nodejs = {
default = "nodejs"; default = "nodejs";
example = "pkgs.nodejs_22"; example = "pkgs.nodejs_22";

18
plugins/by-name/lean/default.nix
View file

@ -1,6 +1,5 @@
{ {
lib, lib,
pkgs,
... ...
}: }:
let let
@ -14,12 +13,13 @@ lib.nixvim.plugins.mkNeovimPlugin {
maintainers = [ lib.maintainers.khaneliman ]; maintainers = [ lib.maintainers.khaneliman ];
extraOptions = { imports = [
leanPackage = lib.mkPackageOption pkgs "lean" { # TODO: added 2025-04-07, remove after 25.05
nullable = true; (lib.nixvim.mkRemovedPackageOptionModule {
default = "lean4"; plugin = "lean";
}; packageName = "lean";
}; })
];
settingsOptions = { settingsOptions = {
lsp = defaultNullOpts.mkNullable (types.submodule { lsp = defaultNullOpts.mkNullable (types.submodule {
@ -184,8 +184,8 @@ lib.nixvim.plugins.mkNeovimPlugin {
}; };
}; };
extraConfig = cfg: { extraConfig = {
extraPackages = [ cfg.leanPackage ]; dependencies.lean.enable = lib.mkDefault true;
}; };
# TODO: Deprecated in 2025-01-31 # TODO: Deprecated in 2025-01-31