diff --git a/pkgs/development/compilers/idris/wrapper.nix b/pkgs/development/compilers/idris/wrapper.nix
new file mode 100644
index 000000000000..427a690234ca
--- /dev/null
+++ b/pkgs/development/compilers/idris/wrapper.nix
@@ -0,0 +1,10 @@
+{ gmp, makeWrapper, gcc, runCommand, idris_plain}:
+
+runCommand "idris-wrapper" {} ''
+  source ${makeWrapper}/nix-support/setup-hook
+  mkdir -p $out/bin
+  ln -s ${idris_plain}/bin/idris $out/bin
+      wrapProgram $out/bin/idris \
+        --suffix NIX_CFLAGS_COMPILE : '"-I${gmp}/include -L${gmp}/lib"' \
+        --suffix PATH : ${gcc}/bin
+''
diff --git a/pkgs/top-level/haskell-packages.nix b/pkgs/top-level/haskell-packages.nix
index fff7983d7c47..0a146559db52 100644
--- a/pkgs/top-level/haskell-packages.nix
+++ b/pkgs/top-level/haskell-packages.nix
@@ -2243,7 +2243,9 @@ let result = let callPackage = x : y : modifyPrio (newScope result.final x y);
 
   darcs = callPackage ../applications/version-management/darcs {};
 
-  idris = callPackage ../development/compilers/idris {};
+  idris_plain = callPackage ../development/compilers/idris {};
+
+  idris = callPackage ../development/compilers/idris/wrapper.nix {};
 
   leksah = callPackage ../applications/editors/leksah {
     QuickCheck = self.QuickCheck2;