Unverified Commit 3613ecbb authored by Wolfgang Walther's avatar Wolfgang Walther Committed by GitHub
Browse files

haskellPackages.sbv: fix broken; disable tests (#492320)

parents ea7f1f06 07955454

pkgs/development/haskell-modules/configuration-common.nix

+5 −0
Original line number Diff line number Diff line
@@ -1028,6 +1028,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

+0 −1
Original line number Diff line number Diff line
@@ -5509,7 +5509,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

+0 −3
Original line number Diff line number Diff line
@@ -597176,8 +597176,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; };










@@ -597284,7 +597282,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; };