[Ada] Add ghost code to facilitate proof with SPARK
[official-gcc.git] / contrib / vimrc
blobb7a8ab7360c377e380948d22a3b313be51b5a083
1 " Code formatting settings for Vim.
3 " To enable this for GCC files by default, you can either source this file
4 " in your .vimrc via autocmd:
5 "   :au BufNewFile,BufReadPost path/to/gcc/* :so path/to/gcc/contrib/vimrc
6 " or source the script manually for each newly opened file:
7 "   :so contrib/vimrc
8 " You could also use numerous plugins that enable local vimrc e.g.
9 " mbr's localvimrc or thinca's vim-localrc (but note that the latter
10 " is much less secure). To install local vimrc config, run
11 "   $ make vimrc
12 " from GCC build folder.
13
14 " Copyright (C) 2014 Free Software Foundation, Inc.
16 " This program is free software; you can redistribute it and/or modify
17 " it under the terms of the GNU General Public License as published by
18 " the Free Software Foundation; either version 3 of the License, or
19 " (at your option) any later version.
21 " This program is distributed in the hope that it will be useful,
22 " but WITHOUT ANY WARRANTY; without even the implied warranty of
23 " MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
24 " GNU General Public License for more details.
26 " You should have received a copy of the GNU General Public License
27 " along with this program.  If not, see <http://www.gnu.org/licenses/>.
29 function! SetStyle()
30   let l:fname = expand("%:p")
31   let l:ext = fnamemodify(l:fname, ":e")
32   let l:c_exts = ['c', 'h', 'cpp', 'cc', 'C', 'H', 'def', 'java']
33   if stridx(l:fname, 'libsanitizer') != -1
34     return
35   endif
36   if l:ext != "py"
37     setlocal tabstop=8
38     setlocal softtabstop=2
39     setlocal shiftwidth=2
40     setlocal noexpandtab
41   endif
42   if &filetype == "gitcommit"
43     setlocal textwidth=72
44   else
45     setlocal textwidth=79
46   endif
47   setlocal formatoptions-=ro formatoptions+=cqlt
48   if index(l:c_exts, l:ext) != -1 || &filetype == "c" || &filetype == "cpp"
49     setlocal cindent
50     setlocal cinoptions=>4,n-2,{2,^-2,:2,=2,g0,f0,h2,p4,t0,+2,(0,u0,w1,m0
51   endif
52 endfunction
54 call SetStyle()