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

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

            Tries to 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 an (optional) 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 an (optional) 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