Documentation

Lake.Config.ExternLib

structure Lake.ExternLib :

An external library -- its package plus its configuration.

Instances For
    @[inline]

    The external libraries of the package (as an Array).

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

      Try to find a external library in the package with the given name.

      Equations
      Instances For
        @[inline]

        The arguments to pass to leanc when linking the external library. That is, the package's moreLinkArgs.

        Equations
        • self.linkArgs = self.pkg.moreLinkArgs
        Instances For
          @[inline]

          The name of the package target used to build the external library's static binary.

          Equations
          • self.staticTargetName = self.name.str "static"
          Instances For