diff options
| author | (cdep)illabout <cdep.illabout@gmail.com> | 2019-08-19 10:15:33 +0900 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2019-08-19 10:52:30 +0200 |
| commit | c88651aab960fe0217d021ee0cb8c7c251c97ecd (patch) | |
| tree | 1a1042859f8a499e10bbf7380a426570296a3aa3 /pkgs | |
| parent | 45012a0e941a7bac7789427e92986f48eaf3248e (diff) | |
haskell: Run termonad tests
Diffstat (limited to 'pkgs')
| -rw-r--r-- | pkgs/development/haskell-modules/configuration-nix.nix | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/pkgs/development/haskell-modules/configuration-nix.nix b/pkgs/development/haskell-modules/configuration-nix.nix index e5bd0e26408e9..29483b56a7db8 100644 --- a/pkgs/development/haskell-modules/configuration-nix.nix +++ b/pkgs/development/haskell-modules/configuration-nix.nix @@ -531,10 +531,6 @@ self: super: builtins.intersectAttrs super { librarySystemDepends = drv.librarySystemDepends or [] ++ [ pkgs.cyrus_sasl.dev ]; })); - # Doctests hang only when compiling with nix. - # https://github.com/cdepillabout/termonad/issues/15 - termonad = dontCheck super.termonad; - # Expects z3 to be on path so we replace it with a hard sbv = overrideCabal super.sbv (drv: { postPatch = '' |