MENHIR(1)						      General Commands Manual							 MENHIR(1)

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.

       -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 Francois Pottier and Yann Regis-Gianas.

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

								  April 19, 2006							 MENHIR(1)