def Lake.sharedLibExt : String

The shared library file extension for the Platform.

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

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

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

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

def Lake.sharedLibPathEnvVar : String

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

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

Gets a SearchPath from an environment variable.