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

haskell-Agda: overrides are no longer necessary

Browse Source
This commit is contained in:
Mateusz Kowalczyk 2015-05-26 05:51:33 +01:00
parent 1a6e124da8
commit 4128b474f4
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -115,9 +115,6 @@ self: super: {
# Cannot compile its own test suite: https://github.com/haskell/network-uri/issues/10. # Cannot compile its own test suite: https://github.com/haskell/network-uri/issues/10.
network-uri = dontCheck super.network-uri; network-uri = dontCheck super.network-uri;
# Agda-2.4.2.2 needs these overrides to compile.
Agda = super.Agda.override { equivalence = self.equivalence_0_2_5; cpphs = self.cpphs_1_18_9; };
# Help libconfig find it's C language counterpart. # Help libconfig find it's C language counterpart.
libconfig = (dontCheck super.libconfig).override { config = pkgs.libconfig; }; libconfig = (dontCheck super.libconfig).override { config = pkgs.libconfig; };