package b0

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

Select source files.

This module provides a type to select source files for build units in B0 files. To support generated source files, selections can depend on the build.

In a nutshell the declaration:

let srcs = [ `D "src-exe"; `D_rec "src"; `X "src/not.ml"; `X "src/not"]

instructs to:

  • Select all the files in directory src-exe.
  • Select all the files in the file hierarchy rooted at directory src.
  • Remove from the files found in directories the files whose paths segments are prefixed by src/not.ml and src/not.

The prefix relation for exclusions respects path segments boundaries. In the example any file whose path matches src/not.ml, src/not.ml/*, src/not and src/not/* is excluded from the selection. But for example src/not.c is not.

The relative order of directory selections and exclusions doesn't matter, the semantics is to select all the files via `D and `D_rec and then apply the exclusion `X on the resulting set. Exclusions affect only directory selections, not file `F and fiber `Fiber selections.

When a directory is selected via `D or `D_rec, all its files are, modulo exclusions. It is expected that build units themselves filter the final result by file extension or additional mechanisms. Consult the documentation of build units for more information.

Source selection

type fpath = string

The type for file paths. Must be convertible with B00_std.Fpath.of_string. We do not use B00_std.Fpath directly to allow for a lighter syntax in B0 files.

Important. Use only "/" as the directory separator even on Windows® platforms. Don't be upset the UI gives them back to you using the local platform separator.

val fpath : B00_std.Fpath.t -> fpath

fpath is B00_std.Fpath.to_string. If you prefer to specify your paths the clean way. TODO remove ?

type sel = [
  1. | `D of fpath
  2. | `D_rec of fpath
  3. | `X of fpath
  4. | `F of fpath
  5. | `Fiber of B0_build.t -> B00_std.Fpath.Set.t B00.Memo.fiber
]

The type for file selectors.

  • `F f unconditionaly selects the file f. f must exist and be a file.
  • `D d selects the files of directory d modulo `X exclusions. d must exist and be a directory. dotfile paths are ignored.
  • `D_rec d selects the files of the file hierarchy rooted at d modulo `X exclusions. d must exist and be a directory. dotfile paths are ignored.
  • `X x removes from directory selections any file whose path segments are prefixed by x, respecting segment boundaries. A potential trailing directory separators in x is removed.
  • `Fiber f uses the given fiber during the build to determine a set of files unconditionally added to the selection.
type t = sel list

The type for source selection.

select b sels selects in b the sources specified by sels and returns them mapped by their file extension (not multiple file extension). Each file is guaranteed to appear only once in the map.

Any relative path of srcs is made absolute to the current build unit with B0_build.Unit.root_dir.

Important. All files in the map that were selected via `F, `D and `D_rec are automatically made ready in the build. For those selected via `Fiber readyness determination is left to the fiber and the mechanisms it invokes.