edwinb/Idris-dev — pull request #454 by LordBrain (2013-08-16 17:12:32+00:00)
Title: cabal detects missing external library (libgc)

This fixes a build issue on Debian Wheezy. cabal configure will detect the absence of Boehm's GC library which is provided by the libgc-dev package.

I didn't text other platforms, but this code should work on all of them.