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

haskellPackages.sbv: fix broken; disable tests

Browse Source 
Upstream maintainer recommended disabling tests
This commit is contained in:
Daniel Hill
2026-02-24 16:15:22 +13:00
parent 041e1c037a
commit 07955454c8
3 changed files with 5 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/haskell-modules/configuration-common.nix
+5
View File
@@ -1046,6 +1046,11 @@ with haskellLib;
rethinkdb = dontCheck super.rethinkdb;
Rlang-QQ = dontCheck super.Rlang-QQ;
sai-shape-syb = dontCheck super.sai-shape-syb;
# https://github.com/LeventErkok/sbv/pull/772#issuecomment-3930657736
# SBV requires a multitude of external tools, some not packaged with nixpkgs
# for tests to pass, users may only want to use one or two of tools.
# maintainer recomends disabling tests
sbv = dontCheck super.sbv;
scp-streams = dontCheck super.scp-streams;
sdl2 = dontCheck super.sdl2; # the test suite needs an x server
separated = dontCheck super.separated;
pkgs/development/haskell-modules/configuration-hackage2nix/broken.yaml
-1
View File
@@ -5503,7 +5503,6 @@ broken-packages:
- satyros # failure in job https://hydra.nixos.org/build/233199726 at 2023-09-02
- savage # failure in job https://hydra.nixos.org/build/233213243 at 2023-09-02
- sax # failure in job https://hydra.nixos.org/build/233218617 at 2023-09-02
- sbv # failure in job https://hydra.nixos.org/build/233210414 at 2023-09-02
- sc2-proto # failure in job https://hydra.nixos.org/build/252730301 at 2024-03-16
- scale # failure in job https://hydra.nixos.org/build/233222189 at 2023-09-02
- scaleimage # failure in job https://hydra.nixos.org/build/233240688 at 2023-09-02
pkgs/development/haskell-modules/hackage-packages.nix
Generated
-3
View File
@@ -593231,8 +593231,6 @@ self: {
];
description = "SMT Based Verification: Symbolic Haskell theorem prover using SMT solving";
license = lib.licensesSpdx."BSD-3-Clause";
hydraPlatforms = lib.platforms.none;
broken = true;
}
) { inherit (pkgs) z3; };
@@ -593339,7 +593337,6 @@ self: {
description = "SMT Based Verification: Symbolic Haskell theorem prover using SMT solving";
license = lib.licensesSpdx."BSD-3-Clause";
hydraPlatforms = lib.platforms.none;
broken = true;
}
) { inherit (pkgs) z3; };