edwinb/Idris-dev — pull request #378 by Ralith (2013-07-05 20:35:52+00:00)
Title: Retargetable

Implements support for specifying target triples and CPU and fixes a few issues with the LLVM codegen. Renames --target to --codegen.