Documentation

Lake.Build.Store

The Lake Build Store #

The Lake build store is the map of Lake build keys to build task and/or build results that is slowly filled during a recursive build (e.g., via topological-based build of an initial key's dependencies).

@[reducible, inline]
abbrev Lake.MonadBuildStore (m : TypeType u_1) :
Type u_1

A monad equipped with a Lake build store.

Equations
@[reducible, inline]

The type of the Lake build store.

Equations
@[inline]
Equations

Derive an array of built module facets from the store.

Derive a map of module names to built facets from the store.

Equations
  • One or more equations did not get rendered due to their size.

Derive an array of built package facets from the store.

Derive an array of built target facets from the store.

Derive an array of built external shared libraries from the store.

Equations
  • self.collectSharedExternLibs = self.collectTargetFacetArray `externLib.shared