menhir

Langue: en

Autres versions - même langue

Version: April 19, 2006 (ubuntu - 07/07/09)

Section: 1 (Commandes utilisateur)

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