Re: py-z3 on macppc 10.0

[Havard Eidnes <he%NetBSD.org@localhost>]

> I already had gcc14 installed, and it managed to build with that
> compiler by using
>
> # NetBSD/macppc 10.0 w/gcc 10.5.0 segfaults
> GCC_REQD+=      14
>
> since as far as I know we can't express "not with gcc 10 (due to
> un-diagnosed bugs)".
...
> I'm currently building gcc12, which takes a while, and will
> re-try the build of the py-z3 package with that as well, but it
> will probably introduce a similar dependency to the above.

That also failed, but at a later stage in the build:

[ 36%] Building CXX object src/model/CMakeFiles/model.dir/numeral_factory.cpp.o
during GIMPLE pass: fre
/usr/pkgsrc/math/py-z3/work/z3-z3-4.13.0/src/ast/simplifiers/demodulator_simplifier.cpp: In member function 'void demodulator_simplifier::reschedule_processed(func_decl*)':
/usr/pkgsrc/math/py-z3/work/z3-z3-4.13.0/src/ast/simplifiers/demodulator_simplifier.cpp:144:6: internal compiler error: Segmentation fault
  144 | void demodulator_simplifier::reschedule_processed(func_decl* f) {
      |      ^~~~~~~~~~~~~~~~~~~~~~
0x2d584d3 internal_error(char const*, ...)
        ???:0
Please submit a full bug report, with preprocessed source (by using -freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
--- src/ast/simplifiers/CMakeFiles/simplifiers.dir/demodulator_simplifier.cpp.o ---
*** [src/ast/simplifiers/CMakeFiles/simplifiers.dir/demodulator_simplifier.cpp.o] Error code 1

> Comments wrt. the proper way to get this built on this platform?

Still a question...

- Håvard