package b0

  1. Overview
  2. Docs
Software construction and deployment kit

Install 

dune-project
 Dependency

erratique.ch Readme Changelog ISC; BSD-2-Clause License Edit opam file Versions (2)

Authors

  1. T
    The b0 programmers

Maintainers

  1. Daniel Bünzli

Sources

b0-0.0.5.tbz
sha512=00a6868b4dfa34565d0141b335622a81a0e8d5b9e3c6dfad025dabfa3df2db2a1302b492953bbbce30c3a4406c324fcec25250a00b38f6d18a69e15605e3b07e

doc/b0_b00_kit/B00_ocaml/Mod/Src/index.html

Module Mod.SrcSource

Module sources.

A small abstraction to represent OCaml modules to compile and find out about source dependencies via Tool.ocamldep.

XXX. This abstraction supports having .ml and .mli in different directories. The current reality though prevents us from that.

Modules

Sourcemodule Deps : sig ... end

Source dependencies.

Sourcetype t

The type for OCaml module sources, represents a module to compile in a build directory.

Sourceval v : mod_name:Name.t -> opaque:bool -> mli:B0_std.Fpath.t option -> mli_deps:Name.Set.t -> ml:B0_std.Fpath.t option -> ml_deps:Name.Set.t -> build_dir:B0_std.Fpath.t -> t

v ~mod_name ~opaque ~mli ~mli_deps ~ml ~ml_deps ~build_dir is a module whose name is name, interface file is mli (if any), interface file module dependencies is mli_deps, implementation is ml (if any) and implementation file module dependencies ml_deps. The module is expected to be built in build_dir. For opaque see opaque.

Sourceval mod_name : t -> Name.t

mod_name m is m's name.

Sourceval opaque : t -> bool

opaque m indicates whether the module should be treated as opaque for compilation. See the -opaque option in the OCaml manual.

Sourceval mli : t -> B0_std.Fpath.t option

mli m is m's interface file (if any).

Sourceval mli_deps : t -> Name.Set.t

mli_deps m are m's interface file dependencies.

Sourceval ml : t -> B0_std.Fpath.t option

ml m is m's implementation file (if any).

Sourceval ml_deps : t -> Name.Set.t

ml_deps m are m's implementation file dependencies.

Constructing file paths

Sourceval build_dir : t -> B0_std.Fpath.t

build_dir m is the build directory for the module.

Sourceval built_file : t -> ext:string -> B0_std.Fpath.t

built_file m ~ext is a file for module m with extension ext in directory build_dir m.

Sourceval cmi_file : t -> B0_std.Fpath.t

cmi_file m is built_file m ext:".cmi".

Sourceval cmo_file : t -> B0_std.Fpath.t option

cmo_file m is built_file m ext:".cmo" if ml is Some _.

Sourceval cmx_file : t -> B0_std.Fpath.t option

cmx_file m is built_file m ext:".cmx" if ml is Some _.

Sourceval impl_file : code:Conf.code -> t -> B0_std.Fpath.t option

impl_file ~code m is cmx_file or cmo_file according to code.

Sourceval as_intf_dep_files : ?init:B0_std.Fpath.t list -> t -> B0_std.Fpath.t list

as_intf_dep_files ~init m adds to init (defaults to []) the files that are read by the OCaml compiler if module source m is compiled in build_dir and used as an interface compilation dependency.

Sourceval as_impl_dep_files : ?init:B0_std.Fpath.t list -> code:Conf.code -> t -> B0_std.Fpath.t list

as_impl_dep_files ~init ~code m adds to init (defaults to []) the files that are read by the OCaml compiler if module source m is compiled in build_dir and used an implementation file dependency for code code.

Module name maps

Sourceval map_of_srcs : B00.Memo.t -> build_dir:B0_std.Fpath.t -> srcs:B0_std.Fpath.t list -> src_deps:Name.Set.t B0_std.Fpath.Map.t -> t Name.Map.t

of_srcs m ~srcs ~src_deps determines source modules values to be built in build_dir (mapped by their names) given sources srcs and their dependencies src_deps (e.g. obtainted via Deps.read. If there's more than one mli or ml file for a given module name a warning is notified on m and a single one is kept.

Sourceval sort : ?stable:t list -> deps:(t -> Name.Set.t) -> t Name.Map.t -> t list

sort ~stable ~deps srcs sorts srcs in deps dependency order respecting elements mentioned in stable (if any).

Sourceval find : Name.Set.t -> t Name.Map.t -> t list * Name.Set.t

find names srcs is (mods, remain) with mods the names of names found in srcs and remain those that are not.

Convenience

Sourceval map_of_files : ?only_mlis:bool -> B00.Memo.t -> build_dir:B0_std.Fpath.t -> src_root:B0_std.Fpath.t -> srcs:B00_fexts.map -> t Name.Map.t B0_std.Fut.t

map_of_files m ~only_mlis ~build_dir ~src_root ~srcs looks for .ml (if only_mlis is false, default) and .mli files in srcs and determines sorted module sources. src_root indicates a root for the sources in srcs and build_dir are used to write the Deps sort.

pp formats a module source