aboutsummaryrefslogtreecommitdiff
path: root/vim/bundle/syntastic/syntax_checkers/coq/coqtop.vim
diff options
context:
space:
mode:
Diffstat (limited to 'vim/bundle/syntastic/syntax_checkers/coq/coqtop.vim')
m---------vim/bundle/syntastic0
-rw-r--r--vim/bundle/syntastic/syntax_checkers/coq/coqtop.vim40
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: