dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

aspino: mark broken for x86_64 Darwin

Browse Source 
Been broken for a few years already too.
This commit is contained in:
Rick van Schijndel 2022-05-19 21:28:15 +02:00
parent b465f1a92f
commit 5e1adacaf0
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/applications/science/logic/aspino/default.nix
View File

@ -47,5 +47,7 @@ stdenv.mkDerivation {
homepage = "https://alviano.net/software/maxino/"; homepage = "https://alviano.net/software/maxino/";
# See pkgs/applications/science/logic/glucose/default.nix # See pkgs/applications/science/logic/glucose/default.nix
badPlatforms = [ "aarch64-linux" ]; 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
}; };
} }