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.

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.

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

      The facet configuration for the builtin ExternLib.sharedFacet.

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

        The facet configuration for the builtin ExternLib.dynlibFacet.

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

          The facet configuration for the builtin ExternLib.dynlibFacet.

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

            Instances For