Linux Certif

Toute la documentation sur la certification Linux LPI

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@debian.org>, for the Debian project (but may be used by others).