dotfiles

commit d71220c2c5ec8a01f45f99f08bb6874d58b9ee22
parent 0c3cb3fca3300454545d67c979d3984cf6b0c3d1
Author: Alex Balgavy <a.balgavy@gmail.com>
Date:   Mon, 22 Jun 2020 12:12:09 +0200

vim: delete custom gnatmake compilers, use built-in

Former-commit-id: e7b244eb1e6341faa8d1609674115a63c1323b22
Diffstat:
D
vim/compiler/gnatmake.vim
 | 
9
---------
D
vim/compiler/gnatprove.vim
 | 
16
----------------

2 files changed, 0 insertions(+), 25 deletions(-)
diff --git a/vim/compiler/gnatmake.vim b/vim/compiler/gnatmake.vim
@@ -1,9 +0,0 @@
-if exists("current_compiler")
-  finish
-endif
-let current_compiler = "ada"
-if exists(":CompilerSet") != 2		" older Vim always used :setlocal
-  command -nargs=* CompilerSet setlocal <args>
-endif
-CompilerSet makeprg=gnatmake\ %
-CompilerSet errorformat=%f:%l:%c:\ %m,%f:%l:%c:\ %tarning:\ %m,%f:%l:%c:\ (%ttyle)\ %m
diff --git a/vim/compiler/gnatprove.vim b/vim/compiler/gnatprove.vim
@@ -1,16 +0,0 @@
-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