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:10:02 +00:00
|
|
|
ada-language-server *ale-ada-language-server*
|
2019-10-11 07:55:05 +00:00
|
|
|
|
2019-10-18 16:26:08 +00:00
|
|
|
g:ale_ada_adals_executable *g:ale_ada_adals_executable*
|
|
|
|
|
*b:ale_ada_adals_executable*
|
2019-10-11 07:55:05 +00:00
|
|
|
Type: |String|
|
|
|
|
|
Default: `'ada_language_server'`
|
|
|
|
|
|
|
|
|
|
This variable can be changed to use a different executable for Ada Language
|
|
|
|
|
Server.
|
|
|
|
|
|
2019-11-05 16:59:51 +00:00
|
|
|
|
|
|
|
|
g:ale_ada_adals_project *g:ale_ada_adals_project*
|
|
|
|
|
*b:ale_ada_adals_project*
|
|
|
|
|
Type: |String|
|
|
|
|
|
Default: `'default.gpr'`
|
|
|
|
|
|
|
|
|
|
This variable can be changed to use a different GPR file for
|
|
|
|
|
Ada Language Server.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
g:ale_ada_adals_encoding *g:ale_ada_adals_encoding*
|
|
|
|
|
*b:ale_ada_adals_encoding*
|
|
|
|
|
Type: |String|
|
|
|
|
|
Default: `'utf-8'`
|
|
|
|
|
|
|
|
|
|
This variable can be changed to use a different file encoding for
|
|
|
|
|
Ada Language Server.
|
|
|
|
|
|
|
|
|
|
|
2018-11-18 17:14:24 +00:00
|
|
|
===============================================================================
|
|
|
|
|
vim:tw=78:ts=2:sts=2:sw=2:ft=help:norl:
|
