source
def Lake.sharedLibExt :
String

The shared library file extension for the `Platform`.

Equations

- Lake.sharedLibExt = if System.Platform.isWindows = true then "dll" else if System.Platform.isOSX = true then "dylib" else "so"

Instances For

source
def Lake.nameToStaticLib (name : String) (libPrefixOnWindows : Bool := false) :
String

Convert a library name into its static library file name for the `Platform`.

Equations

- One or more equations did not get rendered due to their size.

Instances For

source
def Lake.nameToSharedLib (name : String) (libPrefixOnWindows : Bool := false) :
String

Convert a library name into its shared library file name for the `Platform`.

Equations

- One or more equations did not get rendered due to their size.

Instances For

source
def Lake.sharedLibPathEnvVar :
String

The environment variable that stores the search path used to find shared libraries on the `Platform`.

Equations

- Lake.sharedLibPathEnvVar = if System.Platform.isWindows = true then "PATH" else if System.Platform.isOSX = true then "DYLD_LIBRARY_PATH" else "LD_LIBRARY_PATH"

Instances For

source
def Lake.getSearchPath (envVar : String) :
BaseIO System.SearchPath

Gets a `SearchPath` from an environment variable.

Equations

- Lake.getSearchPath envVar = do let __do_lift ← IO.getEnv envVar match __do_lift with | some path => pure (System.SearchPath.parse path) | none => pure []

Instances For