Documentation

Lake.Config.ExternLib

structure Lake.ExternLib :

An external library -- its package plus its configuration.

@[inline]

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

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

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

Equations
@[inline]

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

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

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

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