From a7197741aca9653bc436ffb987082b4779ae6870 Mon Sep 17 00:00:00 2001
From: Maksymilian Owsianny <Maksymilian.Owsianny@gmail.com>
Date: Mon, 29 Sep 2014 00:51:21 +0200
Subject: [PATCH] Fixed idris wrapper to make idris work with different
 backends.

Closes #4314
---
 pkgs/development/compilers/idris/wrapper.nix | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/pkgs/development/compilers/idris/wrapper.nix b/pkgs/development/compilers/idris/wrapper.nix
index fce5c0c89f3..2985b33c170 100644
--- 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
 ''