package b0

  1. Overview
  2. Docs
package b0
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module B0_driver.CompileSource

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.

Sourceval 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.