- pkg : Lake.PackageThe package the library belongs to. 
- name : Lake.NameThe external library's name. 
- config : Lake.ExternLibConfig (Lake.Package.name s.pkg) s.nameThe 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.