helpers: add mkPackageOption + refactoring (#144) (#150)

This commit is contained in:
Gaétan Lepage 2023-01-25 19:46:49 +01:00 committed by GitHub
parent d8a86e9b3f
commit c73bef16ab
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
61 changed files with 112 additions and 263 deletions

View file

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