- pkg : Lake.Package
The package the library belongs to.
- name : Lake.Name
The external library's name.
- config : Lake.ExternLibConfig (Lake.Package.name s.pkg) s.name
The library's user-defined configuration.
An external library -- its package plus its configuration.
Instances For
@[inline]
The external libraries of the package (as an Array).
Instances For
@[inline]
Try to find a external library in the package with the given name.
Instances For
@[inline]
The arguments to pass to leanc
when linking the external library.
That is, the package's moreLinkArgs
.
Instances For
@[inline]
The name of the package target used to build the external library's static binary.