edwinb/Idris-dev — pull request #257 by david-christiansen (2013-03-22 09:08:36+00:00)
Title: Make dynamic library extension platform-dependent

New syntax is %dynamic "libm" instead of %dynamic "libm.so".