From 60d5d37f2a85dbc7e93f560a06c8fb56c7f2c98d Mon Sep 17 00:00:00 2001 From: Peter Simons Date: Thu, 6 Aug 2015 18:53:19 +0200 Subject: [PATCH] haskell-idris: add missing libgmp build input --- .../haskell-modules/configuration-ghc-7.10.x.nix | 7 ++++--- 1 file changed, 4 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 903e92e770a6..88edc88b3f9d 100644 --- a/pkgs/development/haskell-modules/configuration-ghc-7.10.x.nix +++ b/pkgs/development/haskell-modules/configuration-ghc-7.10.x.nix @@ -47,13 +47,14 @@ self: super: { idris = let idris' = overrideCabal super.idris (drv: { # "idris" binary cannot find Idris library otherwise while building. - # After installing it's completely fine though. - # Seems like Nix-specific issue so not reported. + # 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"; - # add missing libgmp build input + # https://github.com/idris-lang/Idris-dev/issues/2499 librarySystemDepends = (drv.librarySystemDepends or []) ++ [pkgs.gmp]; }); in idris'.overrideScope (self: super: { + # https://github.com/idris-lang/Idris-dev/issues/2500 zlib = self.zlib_0_5_4_2; });