idris-lang/Idris-dev — pull request #635 by hannesm (2013-11-19 15:27:52+00:00)
Title: * Use cc as C compiler, instead of hardcoding gcc.

* Do not use -isystem (not needed, and breaks building the runtime with clang)
* Make clang happier when building the runtime