summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorw0rp <w0rp@users.noreply.github.com>2018-04-05 12:34:45 +0100
committerGitHub <noreply@github.com>2018-04-05 12:34:45 +0100
commit8baab691e9bba61d928388572725b72aa5ce9268 (patch)
treeb83a28e7ba5563bc8c31e9d7b1993bd625cd9717 /doc
parent95ec9bb780198d0ebc0f175debc286b43dd5fc27 (diff)
parent8d4852a127d9f4d9793f8ee585fdb18a916aa7e9 (diff)
downloadale-8baab691e9bba61d928388572725b72aa5ce9268.zip
Merge pull request #1429 from stewy33/master
Add support for Mercury language using mmc as a linter.
Diffstat (limited to 'doc')
-rw-r--r--doc/ale-mercury.txt26
-rw-r--r--doc/ale.txt3
2 files changed, 29 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:
diff --git a/doc/ale.txt b/doc/ale.txt
index 1c8025a4..99d2befa 100644
--- a/doc/ale.txt
+++ b/doc/ale.txt
@@ -141,6 +141,8 @@ CONTENTS *ale-contents*
prettier............................|ale-markdown-prettier|
textlint............................|ale-markdown-textlint|
write-good..........................|ale-markdown-write-good|
+ mercury...............................|ale-mercury-options|
+ mmc.................................|ale-mercury-mmc|
nroff.................................|ale-nroff-options|
write-good..........................|ale-nroff-write-good|
objc..................................|ale-objc-options|
@@ -350,6 +352,7 @@ Notes:
* Make: `checkmake`
* Markdown: `alex`!!, `markdownlint`!!, `mdl`, `prettier`, `proselint`, `redpen`, `remark-lint`, `textlint`, `vale`, `write-good`
* MATLAB: `mlint`
+* Mercury: `mmc`!!
* Nim: `nim check`!!
* nix: `nix-instantiate`
* nroff: `alex`!!, `proselint`, `write-good`