public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Agda: package builds fine these days

Browse Source 
Tested with 8.0.2 and 8.2.1.
This commit is contained in:
Mateusz Kowalczyk 2017-10-13 15:35:27 +01:00
parent 6e7f35c0b6
commit 0ef6e215ff
1 changed files with 0 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/development/haskell-modules/configuration-common.nix
View File

@ -936,12 +936,6 @@ self: super: {
sha256 = "1vss7b99zrhw3r29krl1b60r4qk0m2mpwmrz8q8zdxrh33hb8pd7"; sha256 = "1vss7b99zrhw3r29krl1b60r4qk0m2mpwmrz8q8zdxrh33hb8pd7";
}); });
# 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; });
# cryptol-2.5.0 doesn't want happy 1.19.6+. # cryptol-2.5.0 doesn't want happy 1.19.6+.
cryptol = super.cryptol.override { happy = self.happy_1_19_5; }; cryptol = super.cryptol.override { happy = self.happy_1_19_5; };