MENHIR

NAME

menhir − parser generator for OCaml

SYNOPSIS

menhir [options] files

DESCRIPTION

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

OPTIONS

−h, −−help

Show summary of options.

−v, −−version

Show version of program.

−b, −−base basename

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−tokens module

Import token type definition from module.

−−graph

Write the grammar’s dependency graph to basename.dot.

−−infer

Invoke ocamlc for ahead of time type inference.

−la, −−log−automaton level

Log information about the automaton.

−lc, −−log−code level

Log information about the generated code.

−lg, −−log−grammar level

Log information about the grammar.

−−no−code−inlining

(undocumented)

−−no−inline

Ignore the %inline keyword.

−−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 a simplified grammar and exit.

−−only−tokens

Generate token type definition only, no code.

−−timings

Display internal timings.

−−trace

Include tracing instructions in the generated code.

−−stdlib directory

Specify where the standard library lies.

−v

Synonymous with −−dump −−explain.

SEE ALSO

ocaml(1).

AUTHOR

menhir was written by François Pottier and Yann Régis-Gianas.

This manual page was written by Samuel Mimram <smimram AT debian DOT org>, for the Debian project (but may be used by others).