idris-lang/Idris-dev — pull request #869 by david-christiansen (2014-02-08 11:14:16+00:00)
Title: Improve search for dynamic libraries

Now, dynamic libraries are searched in these places:
1. Current working directory
2. Current import paths (for example, from loaded packages)
3. The system paths for dynamic libs

Fixes #861.