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"

def Lake.nameToStaticLib (name : String) : 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.

def Lake.nameToSharedLib (name : String) : 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.

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"

def Lake.getSearchPath (envVar : String) : BaseIO Lake.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 []