mirror/nix-community.nixvim
1
0
Fork 0
mirror of https://github.com/nix-community/nixvim.git synced 2025-06-24 09:48:42 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 4

lib/options: introduce new mkPackageOption for dependencies

Browse source
This commit is contained in:
Gaetan Lepage 2024-05-17 14:39:55 +02:00 • committed by Gaétan Lepage
parent 26367692da
commit 7c4fe30f81
15 changed files with 51 additions and 85 deletions
Download patch file Download diff file Expand all files Collapse all files

6
plugins/languages/lean.nix
View file

@ -15,11 +15,9 @@ in
package = helpers.mkPluginPackageOption "lean-nvim" pkgs.vimPlugins.lean-nvim;
leanPackage = mkOption {
type = with types; nullOr package;
leanPackage = helpers.mkPackageOption {
name = "lean";
default = pkgs.lean4;
description = "Which package to use for lean.";
example = null;
};
lsp = helpers.defaultNullOpts.mkNullable (