menhir man page

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.
-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 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-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-inline
Ignore the %inline keyword.
--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.
--raw-depend
Invoke ocamldep and echo its raw output.
--stdlib directory
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.

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

Info

April 19, 2006