2016-12-29 16:41:15 +00:00
|
|
|
"============================================================================
|
|
|
|
|
"File: coqtop.vim
|
2017-11-27 13:43:28 +00:00
|
|
|
"Description: Syntax checking plugin for syntastic
|
2016-12-29 16:41:15 +00:00
|
|
|
"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:
|
