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
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,
2 matches
Mail list logo
