boogie: install vim-plugin to nvim/site

This commit is contained in:
Doron Behar 2023-03-05 19:01:43 +02:00
parent 78fee03467
commit 4de2b19fa1

View file

@ -148,6 +148,8 @@ let self = dotnetPackages // overrides; dotnetPackages = with self; {
install -Dt $vimdir/syntax/ Util/vim/syntax/boogie.vim
mkdir $vimdir/ftdetect
echo 'au BufRead,BufNewFile *.bpl set filetype=boogie' > $vimdir/ftdetect/bpl.vim
mkdir -p $out/share/nvim
ln -s $out/share/vim-plugins/boogie $out/share/nvim/site
'';
postFixup = ''