menhir (1)

menhir [options] files

menhir is a LR(1) parser generator for the Objective Caml programming language. That is, Menhir compiles LR(1) grammar specifications down to Objective Caml code. It is mostly compatible with ocamlyacc(1).

-h, --help

Show summary of options.

-b,--basebasename

Specifies a base name for the output file(s).

--comment

Include comments in the generated code.

--depend

Invoke ocamldep and display dependencies.

--dump

Describe the automaton in basename.automaton.

--error-recovery

Attempt recovery by discarding tokens after errors.

--explain

Explain conflicts in basename.conflicts.

--external-tokensmodule

Import token type definition from module.

--graph

Write grammar's dependency graph to basename.dot.

--infer

Invoke ocamlc for ahead of time type inference.

--interpret

Interpret the sentences provided on stdin.

--interpret-show-cst

Show a concrete syntax tree upon acceptance.

-la,--log-automatonlevel

Log information about the automaton.

-lc,--log-codelevel

Log information about the generated code.

-lg,--log-grammarlevel

Log information about the grammar.

--no-inline

Ignore the %inline keyword.

--no-stdlib

Do not load the standard library.

--ocamlccommand

Specifies how ocamlc should be invoked.

--ocamldepcommand

Specifies how ocamldep should be invoked.

--only-preprocess

Print a simplified grammar and exit.

--only-tokens

Generate token type definition only, no code.

--raw-depend

Invoke ocamldep and echo its raw output.

--stdlibdirectory

Specify where the standard library lies.

--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.

-t, --table

Use the table-based back-end.

--timings

Display internal timings.

--trace

Include tracing instructions in the generated code.

--version

Show version number and exit.

-v

Synonymous with --dump--explain.

ocaml(1).

menhir was written by Fran\(,cois Pottier and Yann R\('egis-Gianas.

This manual page was written by Samuel Mimram <[email protected]>, for the Debian project (but may be used by others).