git.iko.soy/Idris-dev
on dcdebfc help sign in
history ofsrc/Util/DynamicLinker.hs
all commits
88b3fbbFix compilation on WindowsNiklas Larsson 18b8572Fix non-FFI buildEdwin Brady 36b8f59Improve search for dynamic librariesDavid Raymond Christiansen 9f1add7catch exception thrown by tryLoadLib on Windowssuhorng ea08a2eAdd more ifdefs for DragonFlyMarkus Pfeiffer b23ac6eSupport for FreeBSDHannes Mehnert d3299a5Stop CPP from emitting useless warningsDavid Christiansen 933b653Added warning in case Idris is compiled without libffi supportDavid Christiansen ee06cf1Make libffi support a cabal flagEdwin Brady 0a1b9d8Prevent duplicate dynamic linkingDavid Christiansen 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