structure Lake.Dynlib : Type

A dynamic/shared library artifact for linking.

• path : System.FilePath

  Library file path.

• name : String

  Library name without platform-specific prefix/suffix (for -l).

• plugin : Bool

  Whether this library can be loaded as a plugin.

• deps : Array Dynlib

  Transitive dependencies of this library for situations that need them (e.g., linking on Windows, loading via lean).

instance Lake.instInhabitedDynlib : Inhabited Dynlib

instance Lake.instReprDynlib : Repr Dynlib

def Lake.Dynlib.dir? (self : Dynlib) : Option System.FilePath

Optional library directory (for -L).

instance Lake.instToTextDynlib : ToText Dynlib

instance Lake.instToJsonDynlib : Lean.ToJson Dynlib

instance Lake.instCoeDynlibFilePath : Coe Dynlib System.FilePath