From 51b9c9b262a85e2658303d8706f56fa16fab04db Mon Sep 17 00:00:00 2001 From: Peter Simons Date: Tue, 13 Jan 2015 13:05:41 +0100 Subject: [PATCH] idris: fix build with GHC 7.8.x --- .../haskell-modules/configuration-ghc-7.8.x.nix | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/pkgs/development/haskell-modules/configuration-ghc-7.8.x.nix b/pkgs/development/haskell-modules/configuration-ghc-7.8.x.nix index 991be3554e0..63e49196580 100644 --- a/pkgs/development/haskell-modules/configuration-ghc-7.8.x.nix +++ b/pkgs/development/haskell-modules/configuration-ghc-7.8.x.nix @@ -36,6 +36,18 @@ self: super: { # mtl 2.2.x needs the latest transformers. mtl_2_2_1 = super.mtl_2_2_1.override { transformers = self.transformers_0_4_2_0; }; + + # Idris requires mtl 2.2.x. + idris = overrideCabal (super.idris.overrideScope (self: super: { + mkDerivation = drv: super.mkDerivation (drv // { doCheck = false; }); + transformers = super.transformers_0_4_2_0; + transformers-compat = disableCabalFlag super.transformers-compat "three"; + mtl = super.mtl_2_2_1; + })) (drv: { + jailbreak = true; # idris is scared of lens 4.7 + patchPhase = "find . -name '*.hs' -exec sed -i -s 's|-Werror||' {} +"; + }); # warning: "Module ‘Control.Monad.Error’ is deprecated" + } // # packages relating to amazonka