HomeIsabelle/Phabricator

Add Foreign.loadLibraryIndirect to enable the library path to be computed just…

Description

Add Foreign.loadLibraryIndirect to enable the library path to be computed just before the library is actually loaded.

Details

Provenance
dcjmAuthored on Nov 13 2020, 9:18 AM
Parents
rPOLYML58b6f37fbfb7: Change underlying internal definition of OS.IO.iodesc to use pointer equality…
Branches
Unknown
Tags
Unknown