swendel/nixpkgs
1
0
Fork 0
mirror of https://github.com/SebastianWendel/nixpkgs.git synced 2024-09-21 04:49:01 +02:00
Code Issues Packages Projects Releases Wiki Activity

idris: update overrides for new 1.1.1 default version

Browse source
This commit is contained in:
Peter Simons 2017-12-04 13:54:15 +01:00
parent 8737c9668b
commit c722252251
2 changed files with 1 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
pkgs/development/haskell-modules/configuration-common.nix
View file

@ -730,13 +730,8 @@ self: super: {
'';
});
# test suite cannot find its own "idris" binary
idris = doJailbreak (dontCheck super.idris);
idris_1_1_1 = overrideCabal (doJailbreak (dontCheck super.idris_1_1_1)) (drv: {
# The standard libraries are compiled separately
configureFlags = (drv.configureFlags or []) ++ [ "-fexeconly" ];
});
idris = doJailbreak (dontCheck super.idris);
# https://github.com/bos/math-functions/issues/25
math-functions = dontCheck super.math-functions;

1
pkgs/top-level/all-packages.nix
View file

@ -5951,7 +5951,6 @@ with pkgs;
overrides = self: super: {
binary = lib.dontCheck self.binary_0_8_5_1;
cheapskate = self.cheapskate_0_1_1;
idris = self.idris_1_1_1;
parsers = lib.dontCheck super.parsers;
semigroupoids = lib.dontCheck super.semigroupoids;
trifecta = lib.dontCheck super.trifecta;