menhir(1) [debian man page]

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)

OCAMLDEP(1)						      General Commands Manual						       OCAMLDEP(1)

NAME

       ocamldep - Dependency generator for Objective Caml

SYNOPSIS

       ocamldep [ options ] filename ...

DESCRIPTION

       The  ocamldep(1)  command scans a set of Objective Caml source files (.ml and .mli files) for references to external compilation units, and
       outputs dependency lines in a format suitable for the make(1) utility. This ensures that make will compile the source files in the  correct
       order, and recompile those files that need to when a source file is modified.

       The typical usage is:

       ocamldep options *.mli *.ml > .depend

       where .depend is the file that should contain the dependencies.

       Dependencies are generated both for compiling with the bytecode compiler ocamlc(1) and with the native-code compiler ocamlopt(1).

OPTIONS

       The following command-line options are recognized by ocamldep(1).

       -I directory
	      Add  the given directory to the list of directories searched for source files. If a source file foo.ml mentions an external compila-
	      tion unit Bar, a dependency on that unit's interface bar.cmi is generated only if the source for bar is found in the current  direc-
	      tory  or	in  one  of the directories specified with -I.	Otherwise, Bar is assumed to be a module from the standard library, and no
	      dependencies are generated. For programs that span multiple directories, it is recommended to pass ocamldep(1) the same  -I  options
	      that are passed to the compiler.

       -ml-synonym .ext
	      Consider the given extension (with leading dot) to be a synonym for .ml.

       -mli-synonym .ext
	      Consider the given extension (with leading dot) to be a synonym for .mli.

       -modules
	      Output  raw dependencies of the form filename: Module1 Module2 ... ModuleN where Module1, ..., ModuleN are the names of the compila-
	      tion units referenced within the file filename, but these names are not resolved to source file names.  Such raw dependencies cannot
	      be used by make(1), but can be post-processed by other tools such as Omake(1).

       -native
	      Generate	dependencies for a pure native-code program (no bytecode version).  When an implementation file (.ml file) has no explicit
	      interface file (.mli file), ocamldep(1) generates dependencies on the bytecode  compiled	file  (.cmo  file)  to	reflect  interface
	      changes.	 This  can cause unnecessary bytecode recompilations for programs that are compiled to native-code only.  The flag -native
	      causes dependencies on native compiled files (.cmx) to be generated instead of on .cmo files.  (This flag makes no difference if all
	      source files have explicit .mli interface files.)

       -pp command
	      Cause ocamldep(1) to call the given command as a preprocessor for each source file.

       -slash Under Unix, this option does nothing.

       -version
	      Print version string and exit.

       -vnum  Print short version number and exit.

       -help or --help
	      Display a short usage summary and exit.

SEE ALSO

       ocamlc(1), ocamlopt(1).
       The Objective Caml user's manual, chapter "Dependency generator".

																       OCAMLDEP(1)