edwinb/Idris-dev — pull request #289 by david-christiansen (2013-04-24 13:08:04+00:00)
Title: Enable alternate names for shared libraries

This should fix test022 on Windows.

All tests pass on Linux and Mac.