diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2018-11-19 19:36:32 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-19 19:36:32 +0000 |
| commit | 4b4b09593b2b090282981d69a9647a3c91d1f8b9 (patch) | |
| tree | 931d50082b2eef3affd7a5d9fafa7dbe02a5459a /doc | |
| parent | f538bb440a8d9e5f607fe7a8d54f7862537586d9 (diff) | |
| parent | d90673ab5b40ec1ef79ab9e3eb0b1b7012425701 (diff) | |
| download | ale-4b4b09593b2b090282981d69a9647a3c91d1f8b9.zip | |
Merge pull request #2087 from m-pilia/ada
Add GCC linter for Ada
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ale-ada.txt | 25 | ||||
| -rw-r--r-- | doc/ale.txt | 3 |
2 files changed, 28 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: diff --git a/doc/ale.txt b/doc/ale.txt index c1c104e6..8c617420 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -21,6 +21,8 @@ CONTENTS *ale-contents* 6.1 Highlights........................|ale-highlights| 6.2 Options for write-good Linter.....|ale-write-good-options| 7. Integration Documentation............|ale-integrations| + ada...................................|ale-ada-options| + gcc.................................|ale-ada-gcc| ansible...............................|ale-ansible-options| ansible-lint........................|ale-ansible-ansible-lint| asciidoc..............................|ale-asciidoc-options| @@ -392,6 +394,7 @@ Notes: `^` No linters for text or Vim help filetypes are enabled by default. `!!` These linters check only files on disk. See |ale-lint-file-linters| +* Ada: `gcc` * ASM: `gcc` * Ansible: `ansible-lint` * API Blueprint: `drafter` |