diff options
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/applications/editors/vim/plugins/overrides.nix | 10 | ||||
-rw-r--r-- | pkgs/applications/editors/vim/plugins/vim-plugin-names | 1 |
2 files changed, 11 insertions, 0 deletions
diff --git a/pkgs/applications/editors/vim/plugins/overrides.nix b/pkgs/applications/editors/vim/plugins/overrides.nix index 7045c0248a6e6..4e6fee9b88fec 100644 --- a/pkgs/applications/editors/vim/plugins/overrides.nix +++ b/pkgs/applications/editors/vim/plugins/overrides.nix @@ -96,6 +96,9 @@ , openssl , pkg-config + # vim-agda dependencies +, agda + # vim-go dependencies , asmfmt , delve @@ -1227,6 +1230,13 @@ self: super: { dependencies = with self; [ webapi-vim vim-addon-mw-utils vim-addon-signs vim-addon-async ]; }); + vim-agda = super.vim-agda.overrideAttrs (old: { + preFixup = '' + substituteInPlace "$out"/autoload/agda.vim \ + --replace "jobstart(['agda'" "jobstart(['${agda}/bin/agda'" + ''; + }); + vim-bazel = super.vim-bazel.overrideAttrs (old: { dependencies = with self; [ vim-maktaba ]; }); diff --git a/pkgs/applications/editors/vim/plugins/vim-plugin-names b/pkgs/applications/editors/vim/plugins/vim-plugin-names index 8644c1fef1f19..4b4b1a23a86cd 100644 --- a/pkgs/applications/editors/vim/plugins/vim-plugin-names +++ b/pkgs/applications/editors/vim/plugins/vim-plugin-names @@ -843,6 +843,7 @@ https://github.com/MarcWeber/vim-addon-syntax-checker/,, https://github.com/MarcWeber/vim-addon-toggle-buffer/,, https://github.com/MarcWeber/vim-addon-xdebug/,, https://github.com/junegunn/vim-after-object/,, +https://github.com/msuperdock/vim-agda/,HEAD, https://github.com/vim-airline/vim-airline/,, https://github.com/enricobacis/vim-airline-clock/,, https://github.com/vim-airline/vim-airline-themes/,, |