package b0

  1. Overview
  2. Docs
On This Page
  1. Compile

Compiling .cmi, .cmti, .cmt and .mld files to .odoc files.

Compile

module Dep : sig ... end

Compilation dependencies, for compiling .cmi, .cmti or .cmt files to .odoc files.

module Writes : sig ... end

Compilation writes, files written by compiling a .cmi, .cmti, .cmt or .mld file to an .odoc file.

val cmd : ?resolve_forward_deps:bool -> ?hidden:bool -> B00.Memo.t -> odoc_deps:B0_std.Fpath.t list -> writes:B0_std.Fpath.t list -> pkg:string -> B0_std.Fpath.t -> o:B0_std.Fpath.t -> unit

cmd m ~resolve_forward_deps ~hidden ~odoc_deps ~writes ~pkg cobj o compiles the compilation object cobj part of package pkg to destination odoc file o.

  • odoc_deps are the odoc files the compilation of cobj reads. They can be obtained by resolving the result of Dep on cobj.
  • writes specifies the writes of the command they can be obtained via Writes.
  • resolve_forward_deps and hidden are the corresponding odoc options. See odoc compile --help.