ocamlyacc(1) [debian man page]

OCAMLYACC(1)						      General Commands Manual						      OCAMLYACC(1)

NAME

       ocamlyacc - The Objective Caml parser generator

SYNOPSIS

       ocamlyacc [ -bprefix ] [ -q ] [ -v ] [ -version ] [ -vnum ] filename.mly

DESCRIPTION

       The  ocamlyacc(1)  command produces a parser from a LALR(1) context-free grammar specification with attached semantic actions, in the style
       of yacc(1).  Assuming the input file is grammar.mly, running ocamlyacc produces Caml code for a parser in  the  file  grammar.ml,  and  its
       interface in file grammar.mli.

       The  generated module defines one parsing function per entry point in the grammar. These functions have the same names as the entry points.
       Parsing functions take as arguments a lexical analyzer (a function from lexer buffers to tokens) and a lexer buffer, and return the  seman-
       tic  attribute  of  the corresponding entry point. Lexical analyzer functions are usually generated from a lexer specification by the ocam-
       llex(1) program. Lexer buffers are an abstract data type implemented in the standard library module Lexing. Tokens are values from the con-
       crete type token, defined in the interface file grammar.mli produced by ocamlyacc(1).

OPTIONS

       The ocamlyacc(1) command recognizes the following options:

       -bprefix
	      Name the output files prefix.ml, prefix.mli, prefix.output, instead of the default naming convention.

       -q     This option has no effect.

       -v     Generate a description of the parsing tables and a report on conflicts resulting from ambiguities in the grammar. The description is
	      put in file grammar.output.

       -version
	      Print version string and exit.

       -vnum  Print short version number and exit.

       -      Read the grammar specification from standard input.  The default output file names are stdin.ml and stdin.mli.

       -- file
	      Process file as the grammar specification, even if its name starts with a dash (-) character.  This option must be the last  on  the
	      command line.

SEE ALSO

       ocamllex(1).
       The Objective Caml user's manual, chapter "Lexer and parser generators".

																      OCAMLYACC(1)

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)