Documentation

Lake.Build.Package

Package Facet Builds #

Build function definitions for a package's builtin facets.

source
def Lake.Package.recComputeDeps (self : Lake.Package) :
Lake.IndexBuildM (Array Lake.Package)

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

Instances For
    source
    def Lake.Package.depsFacetConfig :
    Lake.PackageFacetConfig Lake.Package.depsFacet

    The PackageFacetConfig for the builtin depsFacet.

    Instances For
      source
      def Lake.Package.recBuildExtraDepTargets (self : Lake.Package) :
      Lake.IndexBuildM (Lake.BuildJob Unit)

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

      Instances For
        source
        def Lake.Package.extraDepFacetConfig :
        Lake.PackageFacetConfig Lake.Package.extraDepFacet

        The PackageFacetConfig for the builtin dynlibFacet.

        Instances For
          source
          def Lake.Package.fetchRelease (self : Lake.Package) :
          Lake.SchedulerM (Lake.BuildJob Unit)

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

          Instances For
            source
            def Lake.Package.releaseFacetConfig :
            Lake.PackageFacetConfig Lake.Package.releaseFacet

            The PackageFacetConfig for the builtin releaseFacet.

            Instances For
              source
              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).

              Instances For