Documentation

Lake.Config.Dynlib

structure Lake.Dynlib :

A dynamic/shared library artifact for linking.

  • 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).

Instances For
    Equations

    Optional library directory (for -L).

    Equations
    Instances For