diff options
-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 }; } |