Module `Brzo.Conf`

Configuration.

Configuration bits

val brzo_file_name : string: brzo_file_name is "BRZO" the default BRZO file name.

val brzo_dir_name : string: brzo_dir_name is "brzo" the default brzo directory name in the b0 directory.

type outcome_mode = [ | `Action | `Build | `Conf | `Delete | `Normal | `Path ]: The type for outcome modes.

type domain = | Domain : (module Pre_domain.T with type Conf.t = 'a) * string * 'a -> domain: The type for domain configurations. The pre-domain, its configured outcome name and its configuration value.

val v : action_args:string list -> background:bool -> b0_dir:B0_std.Fpath.t -> brzo_file:B0_std.Fpath.t option -> cache_dir:B0_std.Fpath.t -> cwd:B0_std.Fpath.t -> domain_name:string option -> domain_confs:domain list -> jobs:int option -> log_file:B0_std.Fpath.t -> log_level:B0_std.Log.level -> no_pager:bool -> outcome_mode:outcome_mode -> pdf_viewer:B0_std.Cmd.t option -> root:B0_std.Fpath.t -> srcs_i:B0_std.Fpath.Set.t -> srcs_x:B0_std.Fpath.Set.t -> tty_cap:B0_std.Tty.cap -> www_browser:B0_std.Cmd.t option -> unit -> t: v constructs a configuration with given attributes. See the accessors for semantics.

val action_args : t -> string list: action_args are the outcome action arguments.

val background : t -> bool: background is true if external viewers should be launched in the background.

val brzo_file : t -> B0_std.Fpath.t option: brzo_file is the absolute path to the brzo file found at the root (if any).

val b0_dir : t -> B0_std.Fpath.t: b0_dir is the absolute path to the b0 dir.

val cache_dir : t -> B0_std.Fpath.t: cache_dir is the absolute path to the cache directory.

val cwd : t -> B0_std.Fpath.t: cwd is the absolute path to the current working directoy.

val domain_name : t -> string option: domain_name is the name of the running domain (if any).

val domain_confs : t -> domain list: domain_confs is the list of domain specific configurations.

val domain_conf : t -> (module Pre_domain.T with type Conf.t = 'a) -> (string * 'a) option: domain_conf c d is the configuration for pre-domain d (if any). This is the domain's selected outcome and its configuration.

val log_file : t -> B0_std.Fpath.t: log_file is the absolute path to the build log file.

val log_level : t -> B0_std.Log.level: log_level is the desired log level.

val memo : t -> (B00.Memo.t, string) Stdlib.result: memo is the memoizer for the configuration.

val no_pager : t -> bool: no_pager indicates no paging is desired on stdout.

val outcome_mode : t -> outcome_mode: outcome is the build outcome mode.

val pdf_viewer : t -> B0_std.Cmd.t option: pdf_viewer is the PDF viewer command.

val srcs_i : t -> B0_std.Fpath.Set.t: srcs_i are absolute prefixes to include.

val srcs_x : t -> B0_std.Fpath.Set.t: srcs_x are absolute prefixes to exclude.

val srcs : t -> (B0_fexts.map, string) Stdlib.result: srcs c are the absolute source files path in configuration c sorted by file extension.

val tty_cap : t -> B0_std.Tty.cap: tty_cap c is the terminal capability to assume for output.

val www_browser : t -> B0_std.Cmd.t option: www_browser is the WWW browser command to use.

val pp_auto : 'a B0_std.Fmt.t -> 'a option B0_std.Fmt.t: pp_auto pp formats "<auto>" for None and the value with pp otherwise.

val pp : t B0_std.Fmt.t: pp formats configurations. Does not format domain specific configuration.

val pp_show : t B0_std.Fmt.t: pp_show formats a header and the configuration with pp.