NixOS/nixpkgs — pull request #4314 by MaxOw (2014-09-28 22:59:22+00:00)
Title: Fixed idris wrapper to make idris work with different backends.

When compiling with different backends idris needs access to other binaries from idris_plain e.g.:

```
idris --codegen javascript Test.idr -o Test.js
````
Idris would complain about no `idris-javascript` in the environment.