diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2016-06-20 13:13:12 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2016-06-20 13:13:12 +0200 |
commit | ce1681f2524e512f461a446ee5ca86adfe9116df (patch) | |
tree | f1fa78fd494a44dd7836cac4ea696e5601d7a4de /cli/options.cli | |
parent | c5db2b9db6c8c707c745c5920a4179e6e6b2772c (diff) |
Support suppressing CLI runtime generation (--suppress-cli)
This is useful in pure-help pages.
Diffstat (limited to 'cli/options.cli')
-rw-r--r-- | cli/options.cli | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/cli/options.cli b/cli/options.cli index aa353e1..a7e1cee 100644 --- a/cli/options.cli +++ b/cli/options.cli @@ -80,6 +80,14 @@ class options made inline. This option suppresses creation of the inline file." }; + bool --suppress-cli + { + "Do not generate the CLI support types (scanners, parser, etc). Normally, + the support types are generated unless another \cb{.cli} was included, + in which case the support types are expected to be provided by its + generated code." + }; + std::string --cli-namespace = "::cli" { "<ns>", |