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.
Instances For
partial def
Lake.LeanLib.recCollectLocalModules.go
(self : Lake.LeanLib)
(root : Lake.Module)
(mods : Array Lake.Module)
(modSet : Lake.ModuleSet)
:
The LibraryFacetConfig for the builtin modulesFacet.
Instances For
Instances For
The LibraryFacetConfig for the builtin leanArtsFacet.
Instances For
Instances For
The LibraryFacetConfig for the builtin staticFacet.
Instances For
Build Shared Lib #
Build extraDepTargets #
Build the extraDepTargets for the library and its package.
Instances For
The LibraryFacetConfig for the builtin extraDepFacet.
Instances For
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).