diff options
author | Peter Simons <simons@cryp.to> | 2017-09-10 20:42:02 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-09-10 20:42:02 +0200 |
commit | d96ad6b63586ea8d649f6657a26725360fef6ecd (patch) | |
tree | f44db4f06ce0546ebb8f9c6f568e9d7806477e63 /pkgs | |
parent | 2b7fac2eff7b36ea0cd67f174dec29e919bd9a66 (diff) | |
parent | 78ddef2cae12989d38a5c9181c932d8a11e782c2 (diff) | |
download | nixlib-d96ad6b63586ea8d649f6657a26725360fef6ecd.tar nixlib-d96ad6b63586ea8d649f6657a26725360fef6ecd.tar.gz nixlib-d96ad6b63586ea8d649f6657a26725360fef6ecd.tar.bz2 nixlib-d96ad6b63586ea8d649f6657a26725360fef6ecd.tar.lz nixlib-d96ad6b63586ea8d649f6657a26725360fef6ecd.tar.xz nixlib-d96ad6b63586ea8d649f6657a26725360fef6ecd.tar.zst nixlib-d96ad6b63586ea8d649f6657a26725360fef6ecd.zip |
Merge pull request #29186 from LumiGuide/fix-hol
haskellPackages.hol: Fixed build
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/development/haskell-modules/configuration-common.nix | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/pkgs/development/haskell-modules/configuration-common.nix b/pkgs/development/haskell-modules/configuration-common.nix index edfdcb9d3ce8..c2c2e2ba33ab 100644 --- a/pkgs/development/haskell-modules/configuration-common.nix +++ b/pkgs/development/haskell-modules/configuration-common.nix @@ -56,6 +56,13 @@ self: super: { # segfault due to missing return: https://github.com/haskell/c2hs/pull/184 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 Lazy-Pbkdf2 = if pkgs.stdenv.isi686 then dontCheck super.Lazy-Pbkdf2 else super.Lazy-Pbkdf2; |