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/tactic/arith/CMakeFiles/arith_tactics.dir/fm_tactic.cpp.o
>   [...]
>   In file included from /<<PKGBUILDDIR>>/src/util/rational.h:21,
>                    from /<<PKGBUILDDIR>>/src/ast/ast.h:26,
>                    from /<<PKGBUILDDIR>>/src/tactic/goal.h:30,
>                    from /<<PKGBUILDDIR>>/src/tactic/tactic.h:23,
>                    from /<<PKGBUILDDIR>>/src/tactic/tactical.h:21,
>                    from /<<PKGBUILDDIR>>/src/tactic/arith/fm_tactic.cpp:25:
>   /<<PKGBUILDDIR>>/src/util/mpq.h: In member function ‘void mpq_manager<SYNCH>::add(const mpz&, const mpz&, mpz&)’:
>   /<<PKGBUILDDIR>>/src/util/mpq.h:231:53: internal compiler error: Segmentation fault
>     231 |     void add(mpz const & a, mpz const & b, mpz & c) { mpz_manager<SYNCH>::add(a, b, c); }
>         |                                                     ^
>   Please submit a full bug report,
>   with preprocessed source if appropriate.
>   See <file:///usr/share/doc/gcc-10/README.Bugs> for instructions.
>   [...]
>   The bug is not reproducible, so it is likely a hardware or OS problem.
> 
> 
> How should I proceed here, given that mips64el is a release
> architecture? I don't have a mips64el machine available (and also
> don't have the time right now to play around with QEMU), and the log
> even says that the issue is not reproducible. Should I just request a
> give-back and hope for the best? I would appreciate some advice.
> 
> Thanks!
> Fabian
> 
> [0] https://buildd.debian.org/status/fetch.php?pkg=z3&arch=mips64el&ver=4.8.9-1&stamp=1600698127&raw=0
>