diff options
| author | Rasmus Rendal <rasmus@rend.al> | 2023-05-20 11:27:16 +0200 |
|---|---|---|
| committer | Rasmus Rendal <rasmus@rend.al> | 2023-05-22 08:40:20 +0200 |
| commit | 337e364e623baffc3b481598f8902adca25706f5 (patch) | |
| tree | f9706b7831823f6c6b8a3e85895fce5b8ac5d7d9 /pkgs/applications/editors/vim | |
| parent | 4a1886794755e0cd3826d67ea93c714ffe6028c2 (diff) | |
vimPlugins.vim-agda: init at 2022-03-01
Diffstat (limited to 'pkgs/applications/editors/vim')
| -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/,, |