summaryrefslogtreecommitdiff
path: root/doc/ale-ada.txt
diff options
context:
space:
mode:
authorMartino Pilia <martino.pilia@gmail.com>2018-11-18 18:14:24 +0100
committerMartino Pilia <martino.pilia@gmail.com>2018-11-18 18:14:24 +0100
commitd90673ab5b40ec1ef79ab9e3eb0b1b7012425701 (patch)
treea76f0fc2f9901267c2261afac7a4de50e52a00fb /doc/ale-ada.txt
parentd30da203b91345b472e5d83f048bd42a6ca13804 (diff)
downloadale-d90673ab5b40ec1ef79ab9e3eb0b1b7012425701.zip
Add GCC linter for Ada
Diffstat (limited to 'doc/ale-ada.txt')
-rw-r--r--doc/ale-ada.txt25
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: