From 9931e0888b2419326ae10ebbfae532261c5c125f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Thu, 30 Jun 2016 16:11:56 +0200 Subject: Fix submodules --- vim/bundle/syntastic | 1 + .../syntastic/syntax_checkers/coq/coqtop.vim | 40 ---------------------- 2 files changed, 1 insertion(+), 40 deletions(-) create mode 160000 vim/bundle/syntastic delete mode 100644 vim/bundle/syntastic/syntax_checkers/coq/coqtop.vim (limited to 'vim/bundle/syntastic/syntax_checkers/coq/coqtop.vim') diff --git a/vim/bundle/syntastic b/vim/bundle/syntastic new file mode 160000 index 0000000..cee74e0 --- /dev/null +++ b/vim/bundle/syntastic @@ -0,0 +1 @@ +Subproject commit cee74e0c1af934065fd1b3046e53cda76574f703 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 -"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: -- cgit v1.2.3