dotfiles

commit 150a6e827c571a497d68df3ce71d526714885aa5
parent 312cada14ec13b7978782c963eeef6ae7cac5bed
Author: Alex Balgavy <a.balgavy@gmail.com>
Date:   Mon, 10 Feb 2020 12:52:30 +0100

vim: compiler file for gnatprove

Former-commit-id: ac983dcc733824f313758b845c7bf24498c43fbc
Diffstat:
A
vim/compiler/gnatprove.vim
 | 
16
++++++++++++++++

1 file changed, 16 insertions(+), 0 deletions(-)
diff --git a/vim/compiler/gnatprove.vim b/vim/compiler/gnatprove.vim
@@ -0,0 +1,16 @@
+if exists("current_compiler")
+  finish
+endif
+let current_compiler = "gnatprove"
+
+if exists(":CompilerSet") != 2		" older Vim always used :setlocal
+  command -nargs=* CompilerSet setlocal <args>
+endif
+
+if !exists('g:gnat.Project_File') || g:gnat.Project_File == ''
+  echohl ErrorMsg
+  echo "No project file set, use :SetProject"
+  echohl None
+else
+  exe "CompilerSet makeprg=gnatprove\\ -q\\ -P\\ ".escape(g:gnat.Project_File, ' ')
+endif