B0 file drivers.
B0 file drivers access the definitions of B0 files. See this manual section for an overview and a minimal example.
module Exit : sig ... endDriver exit codes.
module Env : sig ... endDriver environment variables.
module Conf : sig ... endDriver configuration.
module Cli : sig ... endCli interaction.
type main = unit -> Exit.t Cmdliner.Term.resultThe type for driver main functions. A function that returns a Cmdliner evaluation result. This evaluation result is used by run to handle program termination. Note that the driver may exit prematurely with Exit.b0_file_error if there's a fatal error in the B0 file.
val create :
name:string ->
version:string ->
libs:B00_ocaml.Lib_name.t list ->
tcreate ~name ~version is a new driver named name which has version version and uses library libs to link the B0 file. Note that these libraries are not added during the compilation phase.
Note. The b0 libraries are automatically added to libs there's no need to mention them. Just mention your driver library and its dependencies in order.
val name : t -> stringname d is the name of d.
val version : t -> stringversion d is the version of d.
val libs : t -> B00_ocaml.Lib_name.t listlibs d are the libraries that need to be added for linking.
set d sets the driver to d and its main function to main. Use run to run the driver.
run ~has_b0_file runs the driver set by set. has_b0_file must be true if the B0 file is linked in, this is typically done by the B0 file expanded source invocation. Raises Invalid_argument if no driver is set.
val with_b0_file :
driver:t ->
(Conf.t -> Exit.t) Cmdliner.Term.t ->
Exit.t Cmdliner.Term.twith_b0_file ~driver cmd wraps cmd to make sure it runs with the B0 file compiled and linked in as specified by driver.
has_b0_file () is true if run is called with has_b0_file.
module Compile : sig ... endDriver compilation.