git.iko.soy/Idris-dev
on ef93607 help sign in
history ofsrc/Util/DynamicLinker.hs
all commits
e09950adefault case for hostDynamicLibExt.startling f5f2bd3Add the RTLD_GLOBAL option to dlopenDavid Christiansen ace080cFirst check for exact filename when dynamically loading C libDavid Christiansen 5a81f99Implement dynamic linking on WindowsNiklas Larsson 90f661bMake dynamic library extension platform-dependentDavid Christiansen 054c04eFind foreign funcs in libsDavid Christiansen 3262127Dynamically load C libraries in REPLDavid Christiansen