diff options
author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2022-11-01 16:21:54 +0100 |
---|---|---|
committer | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2022-11-25 16:48:03 +0100 |
commit | 017015a82b6ceb8045e2ba446664b19218f77c9a (patch) | |
tree | 5bc6b2b60a1bd56881e0e6544177fd333aa90239 /pkgs | |
parent | 59acc59808dffdf2d7dbc3097b4d41036be26ad5 (diff) |
aspino: fix build
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/applications/science/logic/aspino/default.nix | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/pkgs/applications/science/logic/aspino/default.nix b/pkgs/applications/science/logic/aspino/default.nix index a9e39b3daf33e..13ee15bc781d6 100644 --- a/pkgs/applications/science/logic/aspino/default.nix +++ b/pkgs/applications/science/logic/aspino/default.nix @@ -23,7 +23,10 @@ stdenv.mkDerivation { postPatch = '' substituteInPlace Makefile \ --replace "GCC = g++" "GCC = c++" - + substituteInPlace src/main.cc \ + --replace "defined(__linux__)" "defined(__linux__) && defined(__x86_64__)" + substituteInPlace src/MaxSatSolver.cc \ + --replace "occ[i][sign(softLiterals[j])] > 0" "occ[i][sign(softLiterals[j])] != 0" patchShebangs . ''; @@ -45,9 +48,5 @@ stdenv.mkDerivation { platforms = platforms.unix; license = licenses.asl20; 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 }; } |