diff options
Diffstat (limited to 'vim/bundle/syntastic/syntax_checkers/coq')
m--------- | vim/bundle/syntastic | 0 | ||||
-rw-r--r-- | vim/bundle/syntastic/syntax_checkers/coq/coqtop.vim | 40 |
2 files changed, 0 insertions, 40 deletions
diff --git a/vim/bundle/syntastic b/vim/bundle/syntastic new file mode 160000 +Subproject cee74e0c1af934065fd1b3046e53cda76574f70 diff --git a/vim/bundle/syntastic/syntax_checkers/coq/coqtop.vim b/vim/bundle/syntastic/syntax_checkers/coq/coqtop.vim deleted file mode 100644 index 6385554..0000000 --- a/vim/bundle/syntastic/syntax_checkers/coq/coqtop.vim +++ /dev/null @@ -1,40 +0,0 @@ -"============================================================================ -"File: coqtop.vim -"Description: Syntax checking plugin for syntastic.vim -"Maintainer: Matvey Aksenov <matvey.aksenov at gmail dot com> -"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: |