Documentation

Lake.Build.ExternLib

External Library Build #

Build function definitions for external libraries.

source
def Lake.ExternLib.staticFacetConfig :
ExternLibFacetConfig staticFacet

The facet configuration for the builtin ExternLib.staticFacet.

Equations
    Instances For
      source
      def Lake.buildLeanSharedLibOfStatic (staticLibJob : Job System.FilePath) (weakArgs traceArgs : Array String := #[]) :
      SpawnM (Job System.FilePath)

      Build a shared library from a static library using leanc using the Lean toolchain's linker.

      Equations
        Instances For
          source
          def Lake.ExternLib.sharedFacetConfig :
          ExternLibFacetConfig sharedFacet

          The facet configuration for the builtin ExternLib.sharedFacet.

          Equations
            Instances For
              source
              def Lake.ExternLib.dynlibFacetConfig :
              ExternLibFacetConfig dynlibFacet

              The facet configuration for the builtin ExternLib.dynlibFacet.

              Equations
                Instances For
                  source
                  def Lake.ExternLib.defaultFacetConfig :
                  ExternLibFacetConfig defaultFacet

                  The facet configuration for the builtin ExternLib.dynlibFacet.

                  Equations
                    Instances For
                      source
                      def Lake.ExternLib.initFacetConfigs :
                      DNameMap ExternLibFacetConfig

                      A name-configuration map for the initial set of external library facets (e.g., static, shared).

                      Equations
                        Instances For