Up – Package index » b0 v0.0.6 » Library b0.file » B0_driver » Compile

Module `B0_driver.Compile`Source

Driver compilation.

Driver compilation is automatically handled by with_b0_file. But a few driving bits are exposed here.

Sourceval build_dir : Conf.t -> driver:t -> B0_std.Fpath.t

build_dir c ~driver is a build directory for driver driver in configuration c.

Sourceval build_log : Conf.t -> driver:t -> B0_std.Fpath.t

build_log c ~driver is a build log file for driver driver in configuration c.

Sourceval exe : Conf.t -> driver:t -> B0_std.Fpath.t

exe c ~driver is the driver executable for driver driver in configuration c.

Source

val compile : 
  Conf.t ->
  driver:t ->
  feedback:bool ->
  B0_file.t ->
  (B0_std.Fpath.t, string) result

compile c ~driver b0_file compiles b0_file with driver driver in configuration c. If all is well the executable file path is returned. feedback indicates whether errors are reported interactively.