diff options
author | Naïm Favier <n@monade.li> | 2024-05-19 14:31:31 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-05-19 14:31:31 +0200 |
commit | a0ee869018ee28e0621e92538da11e9781d35e80 (patch) | |
tree | 3121d92060cef8bd89ffdb3e429e1e494758a93c /pkgs/applications/editors/vim/plugins/overrides.nix | |
parent | 0bdd49cb10eeb85852292b0f272f199017fb992c (diff) | |
parent | 7d40080053f9c235e2128bd5259e9c517536d7f6 (diff) |
Merge pull request #304335 from phijor/cornelis
cornelis: init at 2024-04-08
Diffstat (limited to 'pkgs/applications/editors/vim/plugins/overrides.nix')
-rw-r--r-- | pkgs/applications/editors/vim/plugins/overrides.nix | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/pkgs/applications/editors/vim/plugins/overrides.nix b/pkgs/applications/editors/vim/plugins/overrides.nix index a60354b84a0bb..ee8c3493e71a3 100644 --- a/pkgs/applications/editors/vim/plugins/overrides.nix +++ b/pkgs/applications/editors/vim/plugins/overrides.nix @@ -63,6 +63,8 @@ , # command-t dependencies getconf , ruby +, # cornelis dependencies + cornelis , # cpsm dependencies boost , cmake @@ -466,6 +468,17 @@ patches = [ ./patches/coq_nvim/emulate-venv.patch ]; }; + cornelis = super.cornelis.overrideAttrs { + dependencies = with self; [ vim-textobj-user ]; + opt = with self; [ vim-which-key ]; + # Unconditionally use the cornelis binary provided by the top-level package: + patches = [ ./patches/cornelis/0001-Unconditionally-use-global-binary.patch ]; + postInstall = '' + substituteInPlace $out/ftplugin/agda.vim \ + --subst-var-by CORNELIS "${lib.getBin cornelis}/bin/cornelis" + ''; + }; + cpsm = super.cpsm.overrideAttrs { nativeBuildInputs = [ cmake ]; buildInputs = [ |