Re: Build failure on mips64el

The problem has been solved by a give-back. Thanks to Tobias Frost for his help! On 9/21/20 5:09 PM, Fabian Wolff wrote: > Hi, > > today, I uploaded a new version of the z3 package, but the build > failed on mips64el with an interesting error message [0]: > > [ 56%] Building CXX object > src/

Build failure on mips64el

Hi, today, I uploaded a new version of the z3 package, but the build failed on mips64el with an interesting error message [0]: [ 56%] Building CXX object src/tactic/arith/CMakeFiles/arith_tactics.dir/fm_tactic.cpp.o [...] In file included from /<>/src/util/rational.h:21,