| 12345678910111213141516171819202122232425262728293031323334353637383940 |
- "============================================================================
- "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:
|
