From e573b3020c032400eed60b649a2cbf55266e6bb0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Thu, 30 Jun 2016 16:03:25 +0200 Subject: Add current configurations from old repository --- .../syntastic/syntax_checkers/coq/coqtop.vim | 40 ++++++++++++++++++++++ 1 file changed, 40 insertions(+) create mode 100644 vim/bundle/syntastic/syntax_checkers/coq/coqtop.vim (limited to 'vim/bundle/syntastic/syntax_checkers/coq') diff --git a/vim/bundle/syntastic/syntax_checkers/coq/coqtop.vim b/vim/bundle/syntastic/syntax_checkers/coq/coqtop.vim new file mode 100644 index 0000000..6385554 --- /dev/null +++ b/vim/bundle/syntastic/syntax_checkers/coq/coqtop.vim @@ -0,0 +1,40 @@ +"============================================================================ +"File: coqtop.vim +"Description: Syntax checking plugin for syntastic.vim +"Maintainer: Matvey Aksenov +"License: This program is free software. It comes without any warranty, +" to the extent permitted by applicable law. You can redistribute +" it and/or modify it under the terms of the Do What The Fuck You +" Want To Public License, Version 2, as published by Sam Hocevar. +" See http://sam.zoy.org/wtfpl/COPYING for more details. +" +"============================================================================ + +if exists('g:loaded_syntastic_coq_coqtop_checker') + finish +endif +let g:loaded_syntastic_coq_coqtop_checker = 1 + +let s:save_cpo = &cpo +set cpo&vim + +function! SyntaxCheckers_coq_coqtop_GetLocList() dict + let makeprg = self.makeprgBuild({ 'args_after': '-noglob -batch -load-vernac-source' }) + + let errorformat = + \ '%AFile "%f"\, line %l\, characters %c-%.%#\:,'. + \ '%C%m' + + return SyntasticMake({ + \ 'makeprg': makeprg, + \ 'errorformat': errorformat }) +endfunction + +call g:SyntasticRegistry.CreateAndRegisterChecker({ + \ 'filetype': 'coq', + \ 'name': 'coqtop'}) + +let &cpo = s:save_cpo +unlet s:save_cpo + +" vim: set sw=4 sts=4 et fdm=marker: -- cgit v1.2.3