nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-28 01:43:15 +00:00
Code Issues Packages Projects Releases Wiki Activity

vimPlugins.vim-agda: init at 2022-03-01

Browse Source
This commit is contained in:
Rasmus Rendal 2023-05-20 11:27:16 +02:00
parent 4a18867947
commit 337e364e62
No known key found for this signature in database
GPG Key ID: 56E1E741BDFC2A8E
2 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
pkgs/applications/editors/vim/plugins/overrides.nix
View File

@ -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 ];
});

1
pkgs/applications/editors/vim/plugins/vim-plugin-names
View File

@ -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/,,