Package Facet Builds

Build function definitions for a package's builtin facets.

def Lake.Package.recComputeDeps (self : Lake.Package) : Lake.FetchM (Array Lake.Package)

Compute a topological ordering of the package's transitive dependencies.

Equations

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

def Lake.Package.depsFacetConfig : Lake.PackageFacetConfig Lake.Package.depsFacet

The PackageFacetConfig for the builtin depsFacet.

Equations

• Lake.Package.depsFacetConfig = Lake.mkFacetConfig Lake.Package.recComputeDeps

def Lake.Package.optBuildCacheFacetConfig : Lake.PackageFacetConfig Lake.Package.optBuildCacheFacet

The PackageFacetConfig for the builtin optBuildCacheFacet.

Equations

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

def Lake.Package.maybeFetchBuildCache (self : Lake.Package) : Lake.FetchM (Lake.BuildJob Bool)

Tries to download the package's build cache (if configured).

Equations

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

def Lake.Package.maybeFetchBuildCacheWithWarning (self : Lake.Package) : Lake.FetchM (Lake.Job (Unit × Lake.BuildTrace))

Tries to download and unpack the package's cached build archive (e.g., from Reservoir or GitHub). Prints a warning on failure.

Equations

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

@[deprecated Lake.Package.maybeFetchBuildCacheWithWarning]

def Lake.Package.fetchOptRelease (self : Lake.Package) : Lake.FetchM (Lake.Job (Unit × Lake.BuildTrace))

Equations

• Lake.Package.fetchOptRelease = Lake.Package.maybeFetchBuildCacheWithWarning

def Lake.Package.recBuildExtraDepTargets (self : Lake.Package) : Lake.FetchM (Lake.BuildJob Unit)

Build the extraDepTargets for the package. Also, if the package is a dependency, maybe fetch its build cache.

Equations

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

def Lake.Package.extraDepFacetConfig : Lake.PackageFacetConfig Lake.Package.extraDepFacet

The PackageFacetConfig for the builtin dynlibFacet.

Equations

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

def Lake.Package.getBarrelUrl (self : Lake.Package) : Lake.JobM String

Compute the package's Reservoir barrel URL.

Equations

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

def Lake.Package.getReleaseUrl (self : Lake.Package) : Lake.JobM String

Compute the package's GitHub release URL.

Equations

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

def Lake.Package.fetchBuildArchive (self : Lake.Package) (url : String) (archiveFile : System.FilePath) (headers : Array String := #[]) : Lake.JobM PUnit

Tries to download and unpack a build archive for the package from a URL.

Equations

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

def Lake.Package.buildCacheFacetConfig : Lake.PackageFacetConfig Lake.Package.buildCacheFacet

The PackageFacetConfig for the builtin buildCacheFacet.

Equations

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

def Lake.Package.optBarrelFacetConfig : Lake.PackageFacetConfig Lake.Package.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 : Lake.PackageFacetConfig Lake.Package.reservoirBarrelFacet

The PackageFacetConfig for the builtin reservoirBarrelFacet.

Equations

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

def Lake.Package.optGitHubReleaseFacetConfig : Lake.PackageFacetConfig Lake.Package.optGitHubReleaseFacet

The PackageFacetConfig for the builtin optGitHubReleaseFacet.

Equations

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

@[reducible, inline, deprecated Lake.Package.optGitHubReleaseFacetConfig]

abbrev Lake.Package.optReleaseFacetConfig : Lake.PackageFacetConfig Lake.Package.optGitHubReleaseFacet

Equations

• Lake.Package.optReleaseFacetConfig = Lake.Package.optGitHubReleaseFacetConfig

def Lake.Package.gitHubReleaseFacetConfig : Lake.PackageFacetConfig Lake.Package.gitHubReleaseFacet

The PackageFacetConfig for the builtin gitHubReleaseFacet.

Equations

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

@[reducible, inline, deprecated Lake.Package.gitHubReleaseFacetConfig]

abbrev Lake.Package.releaseFacetConfig : Lake.PackageFacetConfig Lake.Package.gitHubReleaseFacet

Equations

• Lake.Package.releaseFacetConfig = Lake.Package.gitHubReleaseFacetConfig

def Lake.Package.afterBuildCacheAsync {α : Type} (self : Lake.Package) (build : Lake.SpawnM (Lake.Job α)) : Lake.FetchM (Lake.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.

@[deprecated Lake.Package.afterBuildCacheAsync]

def Lake.Package.afterReleaseAsync {α : Type} (self : Lake.Package) (build : Lake.SpawnM (Lake.Job α)) : Lake.FetchM (Lake.Job α)

Equations

• @Lake.Package.afterReleaseAsync = @Lake.Package.afterBuildCacheAsync

def Lake.Package.afterBuildCacheSync {α : Type} (self : Lake.Package) (build : Lake.JobM α) : Lake.FetchM (Lake.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.

@[deprecated Lake.Package.afterBuildCacheSync]

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

Equations

• @Lake.Package.afterReleaseSync = @Lake.Package.afterBuildCacheSync

def Lake.initPackageFacetConfigs : Lake.DNameMap Lake.PackageFacetConfig

A package facet name to build function map that contains builders for the initial set of Lake package facets (e.g., extraDep).

Equations

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