Documentation

Lake.Build.Library

Library Facet Builds #

Build function definitions for a library's builtin facets.

Build Lean & Static Lib #

Collect the local modules of a library. That is, the modules from getModuleArray plus their local transitive imports.

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

The LibraryFacetConfig for the builtin leanArtsFacet.

@[specialize #[]]
Equations
  • One or more equations did not get rendered due to their size.

The LibraryFacetConfig for the builtin staticFacet.

The LibraryFacetConfig for the builtin staticExportFacet.

Build Shared Lib #

The LibraryFacetConfig for the builtin sharedFacet.

Build extraDepTargets #

Build the extraDepTargets for the library and its package.

A library facet name to build function map that contains builders for the initial set of Lake library facets (e.g., lean, static, and shared).