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.recBuildExtraDepTargets (self : Lake.Package) : Lake.FetchM (Lake.BuildJob Unit)

Build the extraDepTargets for the package and its transitive dependencies. Also fetch pre-built releases for the package's' dependencies.

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.fetchRelease (self : Lake.Package) : Lake.SpawnM (Lake.BuildJob Unit)

Download and unpack the package's prebuilt release archive (from GitHub).

Equations

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

def Lake.Package.releaseFacetConfig : Lake.PackageFacetConfig Lake.Package.releaseFacet

The PackageFacetConfig for the builtin releaseFacet.

Equations

• Lake.Package.releaseFacetConfig = Lake.mkFacetJobConfig fun (x : Lake.Package) => liftM x.fetchRelease

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

Perform a build job after first checking for a cloud release for the package.

Equations

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

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

Perform a build after first checking for a cloud release for the package.

Equations

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

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.