diff options
| author | Rick van Schijndel <rol3517@gmail.com> | 2022-05-19 21:28:15 +0200 |
|---|---|---|
| committer | Rick van Schijndel <rol3517@gmail.com> | 2022-05-29 10:56:02 +0200 |
| commit | 5e1adacaf03c8fc954a754cbf464a2c3c84bf59b (patch) | |
| tree | 7f11b0a61cb6365de241945deed548627802b0e2 | |
| parent | b465f1a92f9019c2fc8cd26eb10804659848860c (diff) | |
| download | nixpkgs-5e1adacaf03c8fc954a754cbf464a2c3c84bf59b.tar nixpkgs-5e1adacaf03c8fc954a754cbf464a2c3c84bf59b.tar.gz nixpkgs-5e1adacaf03c8fc954a754cbf464a2c3c84bf59b.tar.bz2 nixpkgs-5e1adacaf03c8fc954a754cbf464a2c3c84bf59b.tar.lz nixpkgs-5e1adacaf03c8fc954a754cbf464a2c3c84bf59b.tar.xz nixpkgs-5e1adacaf03c8fc954a754cbf464a2c3c84bf59b.tar.zst nixpkgs-5e1adacaf03c8fc954a754cbf464a2c3c84bf59b.zip | |
aspino: mark broken for x86_64 Darwin
Been broken for a few years already too.
| -rw-r--r-- | pkgs/applications/science/logic/aspino/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/aspino/default.nix b/pkgs/applications/science/logic/aspino/default.nix index 02f6dba4ded..a9e39b3daf3 100644 --- a/pkgs/applications/science/logic/aspino/default.nix +++ b/pkgs/applications/science/logic/aspino/default.nix @@ -47,5 +47,7 @@ stdenv.mkDerivation { homepage = "https://alviano.net/software/maxino/"; # See pkgs/applications/science/logic/glucose/default.nix badPlatforms = [ "aarch64-linux" ]; + # src/MaxSatSolver.cc:280:62: error: ordered comparison between pointer and zero ('unsigned int *' and 'int') + broken = (stdenv.isDarwin && stdenv.isx86_64); # broken since 2019-05-07 on hydra }; } |