forked from mirrors/nixpkgs
idris: fix building on GHC 7.8
This commit is contained in:
parent
3ec8e58754
commit
da9dfdf956
|
@ -48,15 +48,16 @@ self: super: {
|
|||
# haddock-api 2.16 requires ghc>=7.10
|
||||
haddock-api = super.haddock-api_2_15_0_2;
|
||||
|
||||
# Idris requires mtl 2.2.x.
|
||||
# Idris needs special version of some libraries
|
||||
idris = overrideCabal (super.idris.overrideScope (self: super: {
|
||||
mkDerivation = drv: super.mkDerivation (drv // { doCheck = false; });
|
||||
blaze-markup = self.blaze-markup_0_6_2_0;
|
||||
annotated-wl-pprint = self.annotated-wl-pprint_0_5_3;
|
||||
blaze-html = self.blaze-html_0_7_0_3;
|
||||
blaze-markup = self.blaze-markup_0_6_2_0;
|
||||
haskeline = self.haskeline_0_7_2_1;
|
||||
lens = self.lens_4_7_0_1;
|
||||
mtl = self.mtl_2_2_1;
|
||||
transformers = super.transformers_0_4_3_0;
|
||||
transformers = self.transformers_0_4_3_0;
|
||||
transformers-compat = disableCabalFlag super.transformers-compat "three";
|
||||
})) (drv: {
|
||||
patchPhase = "find . -name '*.hs' -exec sed -i -s 's|-Werror||' {} +";
|
||||
|
|
Loading…
Reference in a new issue