Usage: /usr/lib/ocaml-4/bin/menhir <options> <filenames>
  --automaton-graph                 (undocumented)
  --base <basename>                 Specifies a base name for the output file(s)
  --canonical                       Construct a canonical Knuth LR(1) automaton
  --cmly                            Write a .cmly file
  --code                            Use the code back-end (default)
  --code-ancient                    Use the ancient code back-end
  --comment                         Include comments in the generated code
  --compare-errors <filename>       (used twice) Compare two .messages files
  --compile-errors <filename>       Compile a .messages file to OCaml code
  --coq                             Generate a formally verified parser, in Coq
  --coq-lib-path <path>             How to qualify references to MenhirLib
  --coq-lib-no-path                 Do *not* qualify references to MenhirLib
  --coq-no-version-check            Do not generate a version check.
  --coq-no-actions                  Ignore semantic actions in the Coq output
  --coq-no-complete                 Do not generate a proof of completeness
  --depend                          Invoke ocamldep and display dependencies
  --dump                            Write an .automaton file
  --dump-menhirLib <path>           Dump menhirLib.{ml,mli} at <path>
  --dump-resolved                   Write an .automaton.resolved file
  --echo-errors <filename>          Echo the sentences in a .messages file
  --echo-errors-concrete <filename> Echo the sentences in a .messages file
  --error-recovery                  (no longer supported)
  --exn-carries-state               Declares exception Error of int
  --explain                         Explain conflicts in <basename>.conflicts
  --external-tokens <module>        Import token type definition from <module>
  --fixed-exception                 Declares Error = Parsing.Parse_error
  --infer                           Invoke ocamlc to do type inference
  --infer-protocol-supported        Stop with exit code 0
  --infer-write-query <filename>    Write mock .ml file
  --infer-read-reply <filename>     Read inferred .mli file
  --inspection                      Generate the inspection API
  --interpret                       Interpret the sentences provided on stdin
  --interpret-show-cst              Show a concrete syntax tree upon acceptance
  --interpret-error                 Interpret an error sentence
  --lalr                            Construct an LALR(1) automaton
  --list-errors                     Produce a list of erroneous inputs
  --list-errors-algorithm           (undocumented)
  --log-automaton <level>           Log information about the automaton
  --log-code <level>                Log information about the generated code
  --log-grammar <level>             Log information about the grammar
  --merge-errors <filename>         (used twice) Merge two .messages files
  --no-code-inlining                (undocumented)
  --no-dollars                      Disallow $i in semantic actions
  --no-inline                       Ignore the %inline keyword
  --no-pager                        (undocumented)
  --no-prefix                       (undocumented)
  --no-stdlib                       Do not load the standard library
  --ocamlc <command>                Specifies how ocamlc should be invoked
  --ocamldep <command>              Specifies how ocamldep should be invoked
  --only-preprocess                 Print grammar and exit
  --only-preprocess-for-ocamlyacc   Print grammar in ocamlyacc format and exit
  --only-preprocess-u               Print grammar with unit actions and exit
  --only-preprocess-uu              Print grammar with unit actions & tokens
  --only-tokens                     Generate token type definition only, no code
  --random-seed <seed>              Set the random seed
  --random-self-init                Pick a random seed in a system-dependent way
  --random-sentence-length <length> Set the goal length for a random sentence
  --random-sentence <sym>           Generate a random valid sentence
  --random-sentence-concrete <sym>  Generate a random valid sentence
  --raw-depend                      Invoke ocamldep and echo its raw output
  --reference-graph                 Write a dependency graph to a .dot file
  --represent-states                (undocumented)
  --represent-positions             (undocumented)
  --represent-values                (undocumented)
  --represent-everything            (undocumented)
  --require-aliases                 Check that every token has a token alias
  --specialize-token                (undocumented)
  --stacklang-dump                  (undocumented)
  --stacklang-graph                 (undocumented)
  --stacklang-test                  (undocumented)
  --stdlib <directory>              Ignored (deprecated)
  --strategy <strategy>             Choose an error-handling strategy
  --strict                          Warnings about the grammar are errors
  --suggest-comp-flags              Suggest compilation flags for ocaml{c,opt}
  --suggest-link-flags-byte         Suggest link flags for ocamlc
  --suggest-link-flags-opt          Suggest link flags for ocamlopt
  --suggest-menhirLib               Suggest where is MenhirLib
  --suggest-ocamlfind               (deprecated)
  --table                           Use the table back-end
  --timings                         Output internal timings to stderr
  --timings-to <filename>           Output internal timings to <filename>
  --trace                           Generate tracing instructions
  --unused-precedence-levels        Do not warn about unused precedence levels
  --unused-token <token>            Do not warn that <token> is unused
  --unused-tokens                   Do not warn about any unused token
  --update-errors <filename>        Update auto-comments in a .messages file
  --version                         Show version number and exit
  -b <basename>                     Synonymous with --base <basename>
  -lg                               Synonymous with --log-grammar
  -la                               Synonymous with --log-automaton
  -lc                               Synonymous with --log-code
  -O                                (0|1|2) Set optimization level
  -t                                Synonymous with --table
  -v                                Synonymous with --dump --explain
  -help                             Display this list of options
  --help                            Display this list of options