|
|
|
@ -65,9 +65,6 @@ self: super: { |
|
|
|
|
options = dontCheck super.options; |
|
|
|
|
statistics = dontCheck super.statistics; |
|
|
|
|
|
|
|
|
|
# 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"; |
|
|
|
@ -978,4 +975,17 @@ self: super: { |
|
|
|
|
|
|
|
|
|
# missing dependencies: Glob >=0.7.14 && <0.8, data-fix ==0.0.4 |
|
|
|
|
stack2nix = doJailbreak super.stack2nix; |
|
|
|
|
|
|
|
|
|
# Hacks to work around https://github.com/haskell/c2hs/issues/192. |
|
|
|
|
c2hs = (overrideCabal super.c2hs { |
|
|
|
|
version = "0.26.2-28-g8b79823"; |
|
|
|
|
doCheck = false; |
|
|
|
|
src = pkgs.fetchFromGitHub { |
|
|
|
|
owner = "deech"; |
|
|
|
|
repo = "c2hs"; |
|
|
|
|
rev = "8b79823c32e234c161baec67fdf7907952ca62b8"; |
|
|
|
|
sha256 = "0hyrcyssclkdfcw2kgcark8jl869snwnbrhr9k0a9sbpk72wp7nz"; |
|
|
|
|
}; |
|
|
|
|
}).override { language-c = self.language-c_0_7_0; }; |
|
|
|
|
|
|
|
|
|
} |
|
|
|
|