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

Merge pull request #29186 from LumiGuide/fix-hol 

haskellPackages.hol: Fixed build
This commit is contained in:
Peter Simons 2017-09-10 20:42:02 +02:00 committed by GitHub
parent 2b7fac2eff 78ddef2cae
commit d96ad6b635
1 changed files with 7 additions and 0 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

@ -56,6 +56,13 @@ self: super: {
# segfault due to missing return: https://github.com/haskell/c2hs/pull/184 # segfault due to missing return: https://github.com/haskell/c2hs/pull/184
c2hs = dontCheck super.c2hs; c2hs = dontCheck super.c2hs;
# https://github.com/gilith/hol/pull/1
hol = appendPatch (doJailbreak super.hol) (pkgs.fetchpatch {
name = "hol.patch";
url = "https://github.com/gilith/hol/commit/a5171bdcacdbe93c46c9f82ec5a38f2a2b69e632.patch";
sha256 = "0xkgbhc4in38hspxgz2wcvk56pjalw43gig7lzkjfhgavwxv3jyj";
});
# This test keeps being aborted because it runs too quietly for too long # This test keeps being aborted because it runs too quietly for too long
Lazy-Pbkdf2 = if pkgs.stdenv.isi686 then dontCheck super.Lazy-Pbkdf2 else super.Lazy-Pbkdf2; Lazy-Pbkdf2 = if pkgs.stdenv.isi686 then dontCheck super.Lazy-Pbkdf2 else super.Lazy-Pbkdf2;