git.iko.soy/Idris-dev
on dcd4007 help sign in
history ofsrc/Util/DynamicLinker.hs
all commits
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