nvim-config

Log | Files | Refs | Submodules | README

frama-c.vim (246B)

      1 " Last Change: 2020 Dec 08
      2 " Vim frama-c
      3 if exists("current_compiler")
      4   finish
      5 endif
      6 let current_compiler = "frama-c"
      7 
      8 CompilerSet makeprg=frama-c\ -rte\ -eva\ -wp\ %:p
      9 CompilerSet errorformat=%W[%o]\ %f:%l:\ Warning:\ ,%C\ %m,[%o]\ %f:%l:\ %m
     10