configuration-ghc-7.10.x.nix: switch jailbreak-cabal to Cabal 1.24.x

This commit is contained in:
Peter Simons 2016-05-06 12:11:34 +02:00
parent c53f963c1e
commit 2f9a2e6808

@ -38,28 +38,14 @@ self: super: {
prePatch = "sed -i 's/-Werror//g' linear.cabal";
});
# Cabal_1_22_1_1 requires filepath >=1 && <1.4
# Our core version of Cabal is good enough for this build.
cabal-install = dontCheck (super.cabal-install.override { Cabal = null; });
# Don't compile jailbreak-cabal with Cabal 1.22.x because of https://github.com/peti/jailbreak-cabal/issues/9.
Cabal_1_23_0_0 = overrideCabal super.Cabal_1_22_4_0 (drv: {
version = "1.23.0.0";
src = pkgs.fetchFromGitHub {
owner = "haskell";
repo = "cabal";
rev = "fe7b8784ac0a5848974066bdab76ce376ba67277";
sha256 = "1d70ryz1l49pkr70g8r9ysqyg1rnx84wwzx8hsg6vwnmg0l5am7s";
};
jailbreak = false;
doHaddock = false;
postUnpack = "sourceRoot+=/Cabal";
});
jailbreak-cabal = super.jailbreak-cabal.override {
Cabal = self.Cabal_1_23_0_0;
mkDerivation = drv: self.mkDerivation (drv // {
preConfigure = "sed -i -e 's/Cabal == 1.20\\.\\*/Cabal >= 1.23/' jailbreak-cabal.cabal";
});
};
# Jailbreaking is required for the test suite only (which we don't run).
Cabal_1_24_0_0 = dontJailbreak (dontCheck super.Cabal_1_24_0_0);
# Build jailbreak-cabal with the latest version of Cabal.
jailbreak-cabal = super.jailbreak-cabal.override { Cabal = self.Cabal_1_24_0_0; };
idris = overrideCabal super.idris (drv: {
# "idris" binary cannot find Idris library otherwise while building.