Package Facet Builds

Build function definitions for a package's builtin facets.

def Lake.Package.depsFacetConfig : PackageFacetConfig depsFacet

The PackageFacetConfig for the builtin depsFacet.

Equations

• Lake.Package.depsFacetConfig = Lake.mkFacetJobConfig Lake.Package.recFetchDeps✝ false

def Lake.Package.transDepsFacetConfig : PackageFacetConfig transDepsFacet

The PackageFacetConfig for the builtin transDepsFacet.

Equations

• Lake.Package.transDepsFacetConfig = Lake.mkFacetJobConfig Lake.Package.recComputeTransDeps✝ false

def Lake.Package.optBuildCacheFacetConfig : PackageFacetConfig optBuildCacheFacet

The PackageFacetConfig for the builtin optBuildCacheFacet.

Equations

• Lake.Package.optBuildCacheFacetConfig = Lake.mkFacetJobConfig fun (x : Lake.Package) => Lake.Package.fetchOptBuildCacheCore✝ x

def Lake.Package.extraDepFacetConfig : PackageFacetConfig extraDepFacet

The PackageFacetConfig for the builtin dynlibFacet.

Equations

• Lake.Package.extraDepFacetConfig = Lake.mkFacetJobConfig Lake.Package.recBuildExtraDepTargets✝

def Lake.Package.buildCacheFacetConfig : PackageFacetConfig buildCacheFacet

The PackageFacetConfig for the builtin buildCacheFacet.

Equations

• Lake.Package.buildCacheFacetConfig = Lake.Package.mkBuildArchiveFacetConfig✝ Lake.Package.optBuildCacheFacet "build cache"

def Lake.Package.optBarrelFacetConfig : PackageFacetConfig optReservoirBarrelFacet

The PackageFacetConfig for the builtin optReservoirBarrelFacet.

Equations

• Lake.Package.optBarrelFacetConfig = Lake.Package.mkOptBuildArchiveFacetConfig✝ Lake.Package.barrelFile Lake.Package.getBarrelUrl✝ Lake.Reservoir.lakeHeaders

def Lake.Package.barrelFacetConfig : PackageFacetConfig reservoirBarrelFacet

The PackageFacetConfig for the builtin reservoirBarrelFacet.

Equations

• Lake.Package.barrelFacetConfig = Lake.Package.mkBuildArchiveFacetConfig✝ Lake.Package.optReservoirBarrelFacet "Reservoir build"

def Lake.Package.optGitHubReleaseFacetConfig : PackageFacetConfig optGitHubReleaseFacet

The PackageFacetConfig for the builtin optGitHubReleaseFacet.

Equations

• Lake.Package.optGitHubReleaseFacetConfig = Lake.Package.mkOptBuildArchiveFacetConfig✝ Lake.Package.buildArchiveFile Lake.Package.getReleaseUrl✝ #[]

def Lake.Package.gitHubReleaseFacetConfig : PackageFacetConfig gitHubReleaseFacet

The PackageFacetConfig for the builtin gitHubReleaseFacet.

Equations

• Lake.Package.gitHubReleaseFacetConfig = Lake.Package.mkBuildArchiveFacetConfig✝ Lake.Package.optGitHubReleaseFacet "GitHub release"

def Lake.Package.afterBuildCacheAsync {α : Type} (self : Package) (build : JobM (Job α)) : FetchM (Job α)

Perform a build job after first checking for an (optional) cached build for the package (e.g., from Reservoir or GitHub).

Equations

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

def Lake.Package.afterBuildCacheSync {α : Type} (self : Package) (build : JobM α) : FetchM (Job α)

Perform a build after first checking for an (optional) cached build for the package (e.g., from Reservoir or GitHub).

Equations

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

def Lake.Package.initFacetConfigs : DNameMap PackageFacetConfig

A name-configuration map for the initial set of Lake package facets (e.g., extraDep).

Equations

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

@[reducible, inline]

abbrev Lake.initPackageFacetConfigs : DNameMap PackageFacetConfig

A name-configuration map for the initial set of Lake package facets (e.g., extraDep).

Equations

• Lake.initPackageFacetConfigs = Lake.Package.initFacetConfigs