ultimate-vim/sources_non_forked/syntastic/syntax_checkers/coq/coqtop.vim

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