diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ale-mercury.txt | 26 | ||||
| -rw-r--r-- | doc/ale.txt | 3 |
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` |