Merge pull request #7383 from edwtjo/ghc7101pkgs-fixes

ghc7101 configurations
This commit is contained in:
Peter Simons 2015-04-14 21:20:59 +02:00
commit 2c5593c409

View File

@ -294,4 +294,13 @@ self: super: {
prePatch = "sed -i 's|4\.8|4.9|' diagrams-lib.cabal"; prePatch = "sed -i 's|4\.8|4.9|' diagrams-lib.cabal";
patches = [ ./diagrams-lib-flexible-contexts.patch ]; patches = [ ./diagrams-lib-flexible-contexts.patch ];
}); });
timezone-series = doJailbreak super.timezone-series;
timezone-olson = doJailbreak super.timezone-olson;
libmpd = dontCheck super.libmpd;
xmonad-extras = overrideCabal super.xmonad-extras (drv: {
postPatch = ''
sed -i -e "s,<\*,<¤,g" XMonad/Actions/Volume.hs
'';
});
} }