2012-01-13 07:00:53 -05:00
|
|
|
"============================================================================
|
|
|
|
"File: ocaml.vim
|
|
|
|
"Description: Syntax checking plugin for syntastic.vim
|
|
|
|
"Maintainer: Török Edwin <edwintorok 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.
|
|
|
|
"
|
|
|
|
"============================================================================
|
2012-01-13 08:48:25 -05:00
|
|
|
|
2013-02-21 10:50:41 -05:00
|
|
|
if exists("g:loaded_syntastic_ocaml_camlp4o_checker")
|
|
|
|
finish
|
|
|
|
endif
|
2014-01-03 04:29:08 -05:00
|
|
|
let g:loaded_syntastic_ocaml_camlp4o_checker = 1
|
2013-02-21 10:50:41 -05:00
|
|
|
|
2013-10-28 11:30:25 -04:00
|
|
|
if exists('g:syntastic_ocaml_camlp4r') && g:syntastic_ocaml_camlp4r != 0
|
2012-01-13 08:48:25 -05:00
|
|
|
let s:ocamlpp="camlp4r"
|
|
|
|
else
|
|
|
|
let s:ocamlpp="camlp4o"
|
|
|
|
endif
|
|
|
|
|
2014-01-03 04:29:08 -05:00
|
|
|
let s:save_cpo = &cpo
|
|
|
|
set cpo&vim
|
|
|
|
|
2015-01-04 05:46:54 -05:00
|
|
|
" Checker options {{{1
|
2012-01-13 07:00:53 -05:00
|
|
|
|
2012-08-31 16:18:57 -04:00
|
|
|
if !exists('g:syntastic_ocaml_use_ocamlc') || !executable('ocamlc')
|
|
|
|
let g:syntastic_ocaml_use_ocamlc = 0
|
|
|
|
endif
|
|
|
|
|
2012-09-02 14:18:58 -04:00
|
|
|
if !exists('g:syntastic_ocaml_use_janestreet_core')
|
2014-08-17 01:27:34 -04:00
|
|
|
let g:syntastic_ocaml_use_janestreet_core = 0
|
2012-08-31 16:18:57 -04:00
|
|
|
endif
|
|
|
|
|
|
|
|
if !exists('g:syntastic_ocaml_use_ocamlbuild') || !executable("ocamlbuild")
|
|
|
|
let g:syntastic_ocaml_use_ocamlbuild = 0
|
|
|
|
endif
|
|
|
|
|
2015-01-04 05:46:54 -05:00
|
|
|
" }}}1
|
|
|
|
|
|
|
|
function! SyntaxCheckers_ocaml_camlp4o_IsAvailable() dict " {{{1
|
|
|
|
return executable(s:ocamlpp)
|
|
|
|
endfunction " }}}1
|
|
|
|
|
|
|
|
function! SyntaxCheckers_ocaml_camlp4o_GetLocList() dict " {{{1
|
2012-08-31 16:18:57 -04:00
|
|
|
let makeprg = s:GetMakeprg()
|
2015-02-23 10:09:00 -05:00
|
|
|
if makeprg == ''
|
2012-08-31 16:18:57 -04:00
|
|
|
return []
|
2012-01-13 07:00:53 -05:00
|
|
|
endif
|
2012-08-31 16:18:57 -04:00
|
|
|
|
2013-05-14 12:36:20 -04:00
|
|
|
let errorformat =
|
2015-03-12 04:40:00 -04:00
|
|
|
\ '%WWarning: File "%f"\, line %l\, chars %c-%n:,'.
|
|
|
|
\ '%WWarning: line %l\, chars %c-%n:,'.
|
|
|
|
\ '%AFile "%f"\, line %l\, characters %c-%n:,'.
|
2013-05-14 12:36:20 -04:00
|
|
|
\ '%AFile "%f"\, line %l\, characters %c-%*\d (end at line %*\d\, character %*\d):,'.
|
|
|
|
\ '%AFile "%f"\, line %l\, character %c:,'.
|
|
|
|
\ '%AFile "%f"\, line %l\, character %c:%m,'.
|
|
|
|
\ '%-GPreprocessing error %.%#,'.
|
|
|
|
\ '%-GCommand exited %.%#,'.
|
2015-03-12 04:40:00 -04:00
|
|
|
\ '%C%tarning %*\d: %m,'.
|
2013-05-14 12:36:20 -04:00
|
|
|
\ '%C%m,'.
|
|
|
|
\ '%-G+%.%#'
|
2012-01-13 07:00:53 -05:00
|
|
|
|
2015-03-12 04:40:00 -04:00
|
|
|
let loclist = SyntasticMake({
|
|
|
|
\ 'makeprg': makeprg,
|
|
|
|
\ 'errorformat': errorformat,
|
|
|
|
\ 'defaults': {'bufnr': bufnr("")} })
|
|
|
|
|
|
|
|
for e in loclist
|
|
|
|
if get(e, 'col', 0) && get(e, 'nr', 0)
|
|
|
|
let e['hl'] = '\%>' . (e['col'] - 1) . 'c\%<' . (e['nr'] + 1) . 'c'
|
|
|
|
let e['nr'] = 0
|
|
|
|
endif
|
|
|
|
endfor
|
|
|
|
|
|
|
|
return loclist
|
2015-01-04 05:46:54 -05:00
|
|
|
endfunction " }}}1
|
|
|
|
|
|
|
|
" Utilities {{{1
|
2012-08-31 16:18:57 -04:00
|
|
|
|
2015-01-04 05:46:54 -05:00
|
|
|
function! s:GetMakeprg() " {{{2
|
2012-08-31 16:18:57 -04:00
|
|
|
if g:syntastic_ocaml_use_ocamlc
|
|
|
|
return s:GetOcamlcMakeprg()
|
|
|
|
endif
|
|
|
|
|
|
|
|
if g:syntastic_ocaml_use_ocamlbuild && isdirectory('_build')
|
|
|
|
return s:GetOcamlBuildMakeprg()
|
|
|
|
endif
|
|
|
|
|
|
|
|
return s:GetOtherMakeprg()
|
2015-01-04 05:46:54 -05:00
|
|
|
endfunction " }}}2
|
2012-08-31 16:18:57 -04:00
|
|
|
|
2015-01-04 05:46:54 -05:00
|
|
|
function! s:GetOcamlcMakeprg() " {{{2
|
2012-08-31 16:18:57 -04:00
|
|
|
if g:syntastic_ocaml_use_janestreet_core
|
2012-09-02 14:20:12 -04:00
|
|
|
let build_cmd = "ocamlc -I "
|
2015-01-04 02:01:55 -05:00
|
|
|
let build_cmd .= expand(g:syntastic_ocaml_janestreet_core_dir, 1)
|
2013-07-10 04:20:54 -04:00
|
|
|
let build_cmd .= " -c " . syntastic#util#shexpand('%')
|
2012-09-02 14:20:12 -04:00
|
|
|
return build_cmd
|
2012-08-31 16:18:57 -04:00
|
|
|
else
|
2013-07-10 04:20:54 -04:00
|
|
|
return "ocamlc -c " . syntastic#util#shexpand('%')
|
2012-08-31 16:18:57 -04:00
|
|
|
endif
|
2015-01-04 05:46:54 -05:00
|
|
|
endfunction " }}}2
|
2012-08-31 16:18:57 -04:00
|
|
|
|
2015-01-04 05:46:54 -05:00
|
|
|
function! s:GetOcamlBuildMakeprg() " {{{2
|
2013-06-07 14:18:29 -04:00
|
|
|
return "ocamlbuild -quiet -no-log -tag annot," . s:ocamlpp . " -no-links -no-hygiene -no-sanitize " .
|
2013-07-04 14:30:52 -04:00
|
|
|
\ syntastic#util#shexpand('%:r') . ".cmi"
|
2015-01-04 05:46:54 -05:00
|
|
|
endfunction " }}}2
|
2012-08-31 16:18:57 -04:00
|
|
|
|
2015-01-04 05:46:54 -05:00
|
|
|
function! s:GetOtherMakeprg() " {{{2
|
2012-08-31 16:18:57 -04:00
|
|
|
"TODO: give this function a better name?
|
|
|
|
"
|
|
|
|
"TODO: should use throw/catch instead of returning an empty makeprg
|
|
|
|
|
2015-01-04 02:01:55 -05:00
|
|
|
let extension = expand('%:e', 1)
|
2012-08-31 16:18:57 -04:00
|
|
|
let makeprg = ""
|
|
|
|
|
2013-11-26 16:19:01 -05:00
|
|
|
if stridx(extension, 'mly') >= 0 && executable("menhir")
|
2012-08-31 16:18:57 -04:00
|
|
|
" ocamlyacc output can't be redirected, so use menhir
|
2013-07-04 14:30:52 -04:00
|
|
|
let makeprg = "menhir --only-preprocess " . syntastic#util#shexpand('%') . " >" . syntastic#util#DevNull()
|
2013-11-26 16:19:01 -05:00
|
|
|
elseif stridx(extension,'mll') >= 0 && executable("ocamllex")
|
2013-07-04 14:30:52 -04:00
|
|
|
let makeprg = "ocamllex -q " . syntastic#c#NullOutput() . " " . syntastic#util#shexpand('%')
|
2012-08-31 16:18:57 -04:00
|
|
|
else
|
2013-07-04 14:30:52 -04:00
|
|
|
let makeprg = "camlp4o " . syntastic#c#NullOutput() . " " . syntastic#util#shexpand('%')
|
2012-08-31 16:18:57 -04:00
|
|
|
endif
|
|
|
|
|
|
|
|
return makeprg
|
2015-01-04 05:46:54 -05:00
|
|
|
endfunction " }}}2
|
|
|
|
|
|
|
|
" }}}1
|
2013-01-27 15:08:30 -05:00
|
|
|
|
|
|
|
call g:SyntasticRegistry.CreateAndRegisterChecker({
|
|
|
|
\ 'filetype': 'ocaml',
|
|
|
|
\ 'name': 'camlp4o'})
|
2014-01-03 04:29:08 -05:00
|
|
|
|
|
|
|
let &cpo = s:save_cpo
|
|
|
|
unlet s:save_cpo
|
|
|
|
|
2015-01-04 05:46:54 -05:00
|
|
|
" vim: set sw=4 sts=4 et fdm=marker:
|