mirror/nix-community.nixvim
1
0
Fork 0
mirror of https://github.com/nix-community/nixvim.git synced 2025-06-28 19:40:06 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 5

Revert "helpers: add mkPackageOption + refactoring (#144)" (#149)

Browse source 
This reverts commit b724085447.
This commit is contained in:
Pedro Alves 2023-01-25 00:03:26 +00:00 • committed by GitHub
parent b724085447
commit 2d54272177
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
58 changed files with 258 additions and 94 deletions
Download patch file Download diff file Expand all files Collapse all files

8
plugins/completion/coq.nix
View file

@ -2,7 +2,7 @@
with lib;
let
cfg = config.plugins.coq-nvim;
helpers = import ../helpers.nix { inherit lib; };
helpers = import ../helpers.nix { lib = lib; };
plugins = import ../plugin-defs.nix { inherit pkgs; };
in
@ -11,7 +11,11 @@ in
plugins.coq-nvim = {
enable = mkEnableOption "coq-nvim";
package = helpers.mkPackageOption "coq-nvim" pkgs.vimPlugins.coq-nvim;
package = mkOption {
type = types.package;
default = pkgs.vimPlugins.coq-vim;
description = "Plugin to use for coq-nvim";
};
installArtifacts = mkEnableOption "Install coq-artifacts";