Agda: disable broken build

This commit is contained in:
Peter Simons 2017-09-10 09:41:03 +02:00
parent 442477567a
commit 9b611844f1

View file

@ -899,8 +899,11 @@ self: super: {
sha256 = "1vss7b99zrhw3r29krl1b60r4qk0m2mpwmrz8q8zdxrh33hb8pd7";
});
# happy 1.19.6 and later break some packages.
Agda = super.Agda.override { happy = self.happy_1_19_5; };
# happy 1.19.6+ broke the Agda build. Sticking with the previous version
# avoided that issue, but now the build fails with a segmentation fault
# during the install phase for no apparent reason:
# https://hydra.nixos.org/build/60678124
Agda = markBroken (super.Agda.override { happy = self.happy_1_19_5; });
# https://github.com/jtdaugherty/text-zipper/issues/11
text-zipper = dontCheck super.text-zipper;