haskell-cryptol: override happy to older version to fix the build

7 years ago · 4944610903
parent 62079ef824
commit 4944610903
1 changed files with 3 additions and 0 deletions
--- a/pkgs/development/haskell-modules/configuration-common.nix
+++ b/pkgs/development/haskell-modules/configuration-common.nix
@ -929,6 +929,9 @@ self: super: {
  # https://hydra.nixos.org/build/60678124
  Agda = markBroken (super.Agda.override { happy = self.happy_1_19_5; });

+  # cryptol-2.5.0 doesn't want happy 1.19.6+.
+  cryptol = super.cryptol.override { happy = self.happy_1_19_5; };
+
  # https://github.com/jtdaugherty/text-zipper/issues/11
  text-zipper = dontCheck super.text-zipper;