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.

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    def Lake.Package.depsFacetConfig :
    Lake.PackageFacetConfig Lake.Package.depsFacet

    The PackageFacetConfig for the builtin depsFacet.

    Equations
    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.

      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        def Lake.Package.extraDepFacetConfig :
        Lake.PackageFacetConfig Lake.Package.extraDepFacet

        The PackageFacetConfig for the builtin dynlibFacet.

        Equations
        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).

          Equations
          • One or more equations did not get rendered due to their size.
          Instances For
            source
            def Lake.Package.releaseFacetConfig :
            Lake.PackageFacetConfig Lake.Package.releaseFacet

            The PackageFacetConfig for the builtin releaseFacet.

            Equations
            Instances For
              source
              def Lake.Package.afterReleaseAsync {α : Type} (self : Lake.Package) (build : Lake.SchedulerM (Lake.Job α)) :
              Lake.IndexBuildM (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.
              Instances For
                source
                def Lake.Package.afterReleaseSync {α : Type} (self : Lake.Package) (build : Lake.BuildM α) :
                Lake.IndexBuildM (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.
                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).

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