Documentation

Lake.Build.Library

Library Facet Builds #

Build function definitions for a library's builtin facets.

Build Lean & Static Lib #

Collect the local modules of a library. That is, the modules from getModuleArray plus their local transitive imports.

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      @[specialize #[]]
      Equations
      • One or more equations did not get rendered due to their size.
      Instances For

        The LibraryFacetConfig for the builtin staticFacet.

        Equations
        Instances For

          Build Shared Lib #

          Equations
          • One or more equations did not get rendered due to their size.
          Instances For

            Other #

            Build extra target dependencies of the library (e.g., extraDepTargets, needs).

            Equations
            • One or more equations did not get rendered due to their size.
            Instances For

              Build the default facets for the library.

              Equations
              • One or more equations did not get rendered due to their size.
              Instances For

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

                Equations
                • One or more equations did not get rendered due to their size.
                Instances For
                  @[reducible, inline]

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

                  Equations
                  Instances For