summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorStewy Slocum <sslocum3@jhu.edu>2018-03-25 13:33:24 -0400
committerStewy Slocum <sslocum3@jhu.edu>2018-03-25 13:33:24 -0400
commit84952918cc48a2de2082c9988e720412f146d3cc (patch)
treef5460e63b9cfe885dc95eac060ef4eeb7cbe1e0a /doc
parent92e6e4d1ba482a4d2d89d850f660c67ccf8a28eb (diff)
downloadale-84952918cc48a2de2082c9988e720412f146d3cc.zip
add support for mercury language using mmc as linter
Diffstat (limited to 'doc')
-rw-r--r--doc/ale-mercury.txt26
1 files changed, 26 insertions, 0 deletions
diff --git a/doc/ale-mercury.txt b/doc/ale-mercury.txt
new file mode 100644
index 00000000..ca06a0a7
--- /dev/null
+++ b/doc/ale-mercury.txt
@@ -0,0 +1,26 @@
+===============================================================================
+ALE Mercury Integration *ale-mercury-options*
+
+
+===============================================================================
+mmc *ale-mercury-mmc*
+
+
+g:ale_mercury_mmc_executable *g:ale_mercury_mmc_executable*
+ *b:ale_mercury_mmc_executable*
+ Type: |String|
+ Default: `'mmc'`
+
+ This variable can be changed to use a different executable for mmc.
+
+
+g:ale_mercury_mmc_options *g:ale_mercury_mmc_options*
+ *b:ale_mercury_mmc_options*
+ Type: |String|
+ Default: `'--make --output-compile-error-lines 100'`
+
+ This variable can be set to pass additional options to mmc.
+
+
+===============================================================================
+ vim:tw=78:ts=2:sts=2:sw=2:ft=help:norl: