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