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

          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.optReleaseFacetConfig :
            Lake.PackageFacetConfig Lake.Package.optReleaseFacet

            The PackageFacetConfig for the builtin optReleaseFacet.

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

              The PackageFacetConfig for the builtin releaseFacet.

              Equations
              • One or more equations did not get rendered due to their size.
              Instances For
                source
                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.
                Instances For
                  source
                  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.
                  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