BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

aspino: fix build

Browse source
This commit is contained in:
Weijia Wang 2022-11-01 16:21:54 +01:00
parent 59acc59808
commit 017015a82b
1 changed files with 4 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
pkgs/applications/science/logic/aspino/default.nix
View file

@ -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
};
}