From 50483ce1009e3d2f0dac3ec28409889ecfe48713 Mon Sep 17 00:00:00 2001
From: Peter Simons <simons@cryp.to>
Date: Thu, 6 Aug 2015 18:45:29 +0200
Subject: [PATCH] haskell-idris: override to add undeclared libgmp build input

---
 .../haskell-modules/configuration-ghc-7.10.x.nix            | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/pkgs/development/haskell-modules/configuration-ghc-7.10.x.nix b/pkgs/development/haskell-modules/configuration-ghc-7.10.x.nix
index 4039de13f78f..903e92e770a6 100644
--- a/pkgs/development/haskell-modules/configuration-ghc-7.10.x.nix
+++ b/pkgs/development/haskell-modules/configuration-ghc-7.10.x.nix
@@ -49,9 +49,9 @@ self: super: {
       # "idris" binary cannot find Idris library otherwise while building.
       # After installing it's completely fine though.
       # Seems like Nix-specific issue so not reported.
-      preBuild = ''
-        export LD_LIBRARY_PATH=$PWD/dist/build:$LD_LIBRARY_PATH
-      '';
+      preBuild = "export LD_LIBRARY_PATH=$PWD/dist/build:$LD_LIBRARY_PATH";
+      # add missing libgmp build input
+      librarySystemDepends = (drv.librarySystemDepends or []) ++ [pkgs.gmp];
     });
     in idris'.overrideScope (self: super: {
       zlib = self.zlib_0_5_4_2;