idris-lang/Idris-dev — pull request #1127 by bryant (2014-04-29 22:17:01+00:00)
Title: add backend selection flags.

Only the C codegen is included by default, which means hefty stuff like `language-java` doesn't get pulled in unless you really want it. To enable the rest:

```bash
cabal configure -fJava -fJavaScript
...
```