diff options
author | Martino Pilia <martino.pilia@gmail.com> | 2018-11-18 18:14:24 +0100 |
---|---|---|
committer | Martino Pilia <martino.pilia@gmail.com> | 2018-11-18 18:14:24 +0100 |
commit | d90673ab5b40ec1ef79ab9e3eb0b1b7012425701 (patch) | |
tree | a76f0fc2f9901267c2261afac7a4de50e52a00fb /doc/ale-ada.txt | |
parent | d30da203b91345b472e5d83f048bd42a6ca13804 (diff) | |
download | ale-d90673ab5b40ec1ef79ab9e3eb0b1b7012425701.zip |
Add GCC linter for Ada
Diffstat (limited to 'doc/ale-ada.txt')
-rw-r--r-- | doc/ale-ada.txt | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/doc/ale-ada.txt b/doc/ale-ada.txt new file mode 100644 index 00000000..93e3261a --- /dev/null +++ b/doc/ale-ada.txt @@ -0,0 +1,25 @@ +=============================================================================== +ALE Ada Integration *ale-ada-options* + + +=============================================================================== +gcc *ale-ada-gcc* + +g:ale_ada_gcc_executable *g:ale_ada_gcc_executable* + *b:ale_ada_gcc_executable* + Type: |String| + Default: `'gcc'` + +This variable can be changed to use a different executable for gcc. + + +g:ale_ada_gcc_options *g:ale_ada_gcc_options* + *b:ale_ada_gcc_options* + Type: |String| + Default: `'-gnatwa -gnatq'` + + This variable can be set to pass additional options to gcc. + + +=============================================================================== + vim:tw=78:ts=2:sts=2:sw=2:ft=help:norl: |