2018-11-18 17:14:24 +00:00
|
|
|
===============================================================================
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
2019-07-02 00:49:12 +00:00
|
|
|
===============================================================================
|
|
|
|
|
gnatpp *ale-ada-gnatpp*
|
|
|
|
|
|
|
|
|
|
g:ale_ada_gnatpp_options *g:ale_ada_gnatpp_options*
|
|
|
|
|
*b:ale_ada_gnatpp_options*
|
|
|
|
|
Type: |String|
|
|
|
|
|
Default: `''`
|
|
|
|
|
|
|
|
|
|
This variable can be set to pass extra options to the gnatpp fixer.
|
|
|
|
|
|
|
|
|
|
|
2019-10-11 07:55:05 +00:00
|
|
|
===============================================================================
|
2019-10-11 09:00:49 +00:00
|
|
|
Ada Language Server *ale-ada-ada_language_server*
|
2019-10-11 07:55:05 +00:00
|
|
|
|
|
|
|
|
g:ale_ada_lsp_executable *g:ale_ada_lsp_executable*
|
|
|
|
|
*b:ale_ada_lsp_executable*
|
|
|
|
|
Type: |String|
|
|
|
|
|
Default: `'ada_language_server'`
|
|
|
|
|
|
|
|
|
|
This variable can be changed to use a different executable for Ada Language
|
|
|
|
|
Server.
|
|
|
|
|
|
2018-11-18 17:14:24 +00:00
|
|
|
===============================================================================
|
|
|
|
|
vim:tw=78:ts=2:sts=2:sw=2:ft=help:norl:
|
