From 07955454c87aa8ef2fa2490036524404b1ba50ed Mon Sep 17 00:00:00 2001 From: Daniel Hill Date: Fri, 20 Feb 2026 12:38:29 +1300 Subject: [PATCH] haskellPackages.sbv: fix broken; disable tests Upstream maintainer recommended disabling tests --- pkgs/development/haskell-modules/configuration-common.nix | 5 +++++ .../haskell-modules/configuration-hackage2nix/broken.yaml | 1 - pkgs/development/haskell-modules/hackage-packages.nix | 3 --- 3 files changed, 5 insertions(+), 4 deletions(-) diff --git a/pkgs/development/haskell-modules/configuration-common.nix b/pkgs/development/haskell-modules/configuration-common.nix index 5464ac65bac5..5d5ae61d9be6 100644 --- a/pkgs/development/haskell-modules/configuration-common.nix +++ b/pkgs/development/haskell-modules/configuration-common.nix @@ -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; diff --git a/pkgs/development/haskell-modules/configuration-hackage2nix/broken.yaml b/pkgs/development/haskell-modules/configuration-hackage2nix/broken.yaml index 687974063d1e..4d615cd8636d 100644 --- a/pkgs/development/haskell-modules/configuration-hackage2nix/broken.yaml +++ b/pkgs/development/haskell-modules/configuration-hackage2nix/broken.yaml @@ -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 diff --git a/pkgs/development/haskell-modules/hackage-packages.nix b/pkgs/development/haskell-modules/hackage-packages.nix index 0a35479f4d72..d7137cb144c9 100644 --- a/pkgs/development/haskell-modules/hackage-packages.nix +++ b/pkgs/development/haskell-modules/hackage-packages.nix @@ -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; };