Fixed idris wrapper to make idris work with different backends.

Closes #4314
2014-09-29 00:51:21 +02:00 · 2014-09-29 00:51:21 +02:00 · a7197741ac
parent 6b2ecc5b39
commit a7197741ac
1 changed files with 2 additions and 1 deletions
--- a/pkgs/development/compilers/idris/wrapper.nix
+++ b/pkgs/development/compilers/idris/wrapper.nix
@ -6,5 +6,6 @@ runCommand "idris-wrapper" {} ''
  ln -s ${idris_plain}/bin/idris $out/bin
      wrapProgram $out/bin/idris \
        --suffix NIX_CFLAGS_COMPILE : '"-I${gmp}/include -L${gmp}/lib -L${boehmgc}/lib"' \
-        --suffix PATH : ${gcc}/bin
+        --suffix PATH : ${gcc}/bin \
+        --suffix PATH : ${idris_plain}/bin
 ''