+ case "${usergroup_phase}" in
+ local run_cmd
+ run_cmd=run_su
+ shift
+ run_su /opt/local/bin/bmake all BATCH=1 DEPENDS_TARGET=/nonexistent PYTHON_VERSION_REQD=310 WRKLOG=/tmp/bulklog/py310-z3solver-4.8.9.0/work.log
+ su pbulk -c '"$@"' make /opt/local/bin/bmake all BATCH=1 DEPENDS_TARGET=/nonexistent PYTHON_VERSION_REQD=310 WRKLOG=/tmp/bulklog/py310-z3solver-4.8.9.0/work.log
=> Bootstrap dependency digest>=20211023: found digest-20211023
===> Building for py310-z3solver-4.8.9.0
(cd /home/pbulk/build/math/py-z3solver/work/z3-solver-4.8.9.0/ && /usr/bin/env USETOOLS=no PTHREAD_CFLAGS=\ -pthread\  PTHREAD_LDFLAGS=\ -pthread PTHREAD_LIBS=-lpthread\ -lrt PTHREADBASE=/usr DL_CFLAGS= DL_LDFLAGS= DL_LIBS= PYTHON=/opt/local/bin/python3.10 CC=gcc CFLAGS=-pipe\ -O2\ -msave-args\ -fno-aggressive-loop-optimizations\ -D_FORTIFY_SOURCE=2\ -I/usr/include\ -I/opt/local/include/python3.10\ -I/opt/local/include CPPFLAGS=-I/usr/include\ -I/opt/local/include/python3.10\ -I/opt/local/include CXX=g++ CXXFLAGS=-pipe\ -O2\ -msave-args\ -fno-aggressive-loop-optimizations\ -D_FORTIFY_SOURCE=2\ -I/usr/include\ -I/opt/local/include/python3.10\ -I/opt/local/include COMPILER_RPATH_FLAG=-Wl,-R F77=gfortran FC=gfortran FFLAGS=-O LANG=C LC_ALL=C LC_COLLATE=C LC_CTYPE=C LC_MESSAGES=C LC_MONETARY=C LC_NUMERIC=C LC_TIME=C LDFLAGS=-L/opt/local/gcc10/lib/gcc/x86_64-sun-solaris2.11/10.3.0\ -Wl,-R/opt/local/gcc10/lib/gcc/x86_64-sun-solaris2.11/10.3.0\ -L/usr/lib/amd64\ -Wl,-R/usr/lib/amd64\ -L/opt/local/lib\ -Wl,-R/opt/local/lib LINKER_RPATH_FLAG=-R PATH=/home/pbulk/build/math/py-z3solver/work/.cwrapper/bin:/home/pbulk/build/math/py-z3solver/work/.buildlink/bin:/home/pbulk/build/math/py-z3solver/work/.gcc/bin:/home/pbulk/build/math/py-z3solver/work/.tools/bin:/opt/local/bin:/sbin:/usr/sbin:/usr/bin:/opt/tools/bin:/opt/local/bin:/opt/local/bin PREFIX=/opt/local MAKELEVEL=0 CONFIG_SITE= PKG_SYSCONFDIR=/opt/local/etc HOME=/home/pbulk/build/math/py-z3solver/work/.home CWRAPPERS_CONFIG_DIR=/home/pbulk/build/math/py-z3solver/work/.cwrapper/config CPP=cpp LOCALBASE=/opt/local X11BASE=/opt/local PKGMANDIR=man PKGINFODIR=info PKGGNUDIR= MAKECONF=/dev/null OBJECT_FMT=ELF USETOOLS=no BSD_INSTALL_PROGRAM=/opt/local/bin/bsdinstall\ -c\ \ -o\ pbulk\ -g\ pbulk\ -m\ 755 BSD_INSTALL_SCRIPT=/opt/local/bin/bsdinstall\ -c\ -o\ pbulk\ -g\ pbulk\ -m\ 755 BSD_INSTALL_LIB=/opt/local/bin/bsdinstall\ -c\ -o\ pbulk\ -g\ pbulk\ -m\ 755 BSD_INSTALL_DATA=/opt/local/bin/bsdinstall\ -c\ -o\ pbulk\ -g\ pbulk\ -m\ 644 BSD_INSTALL_MAN=/opt/local/bin/bsdinstall\ -c\ -o\ pbulk\ -g\ pbulk\ -m\ 644 BSD_INSTALL=/opt/local/bin/bsdinstall BSD_INSTALL_PROGRAM_DIR=/opt/local/bin/bsdinstall\ -d\ -o\ pbulk\ -g\ pbulk\ -m\ 755 BSD_INSTALL_SCRIPT_DIR=/opt/local/bin/bsdinstall\ -d\ -o\ pbulk\ -g\ pbulk\ -m\ 755 BSD_INSTALL_LIB_DIR=/opt/local/bin/bsdinstall\ -d\ -o\ pbulk\ -g\ pbulk\ -m\ 755 BSD_INSTALL_DATA_DIR=/opt/local/bin/bsdinstall\ -d\ -o\ pbulk\ -g\ pbulk\ -m\ 755 BSD_INSTALL_MAN_DIR=/opt/local/bin/bsdinstall\ -d\ -o\ pbulk\ -g\ pbulk\ -m\ 755 BSD_INSTALL_GAME=/opt/local/bin/bsdinstall\ -c\ \ -o\ pbulk\ -g\ pbulk\ -m\ 2555 BSD_INSTALL_GAME_DATA=/opt/local/bin/bsdinstall\ -c\ -o\ pbulk\ -g\ pbulk\ -m\ 664 BSD_INSTALL_GAME_DIR=/opt/local/bin/bsdinstall\ -d\ -o\ pbulk\ -g\ pbulk\ -m\ 775 INSTALL_INFO= MAKEINFO=/home/pbulk/build/math/py-z3solver/work/.tools/bin/makeinfo FLEX= BISON= ITSTOOL=/home/pbulk/build/math/py-z3solver/work/.tools/bin/itstool GDBUS_CODEGEN=/home/pbulk/build/math/py-z3solver/work/.tools/bin/gdbus-codegen PKG_CONFIG= PKG_CONFIG_LIBDIR=/home/pbulk/build/math/py-z3solver/work/.buildlink/lib/amd64/pkgconfig:/home/pbulk/build/math/py-z3solver/work/.buildlink/lib/pkgconfig:/home/pbulk/build/math/py-z3solver/work/.buildlink/share/pkgconfig PKG_CONFIG_LOG=/home/pbulk/build/math/py-z3solver/work/.pkg-config.log PKG_CONFIG_PATH= CWRAPPERS_CONFIG_DIR=/home/pbulk/build/math/py-z3solver/work/.cwrapper/config /opt/local/bin/python3.10  setup.py  build  -j1)
running build
Configuring Z3
New component: 'util'
New component: 'polynomial'
New component: 'interval'
New component: 'dd'
New component: 'simplex'
New component: 'hilbert'
New component: 'automata'
New component: 'realclosure'
New component: 'subpaving'
New component: 'ast'
New component: 'params'
New component: 'euf'
New component: 'grobner'
New component: 'sat'
New component: 'nlsat'
New component: 'lp'
New component: 'rewriter'
New component: 'macros'
New component: 'normal_forms'
New component: 'model'
New component: 'tactic'
New component: 'substitution'
New component: 'parser_util'
New component: 'proofs'
New component: 'solver'
New component: 'cmd_context'
New component: 'smt2parser'
New component: 'aig_tactic'
New component: 'ackermannization'
New component: 'fpa'
New component: 'bit_blaster'
New component: 'pattern'
New component: 'smt_params'
New component: 'core_tactics'
New component: 'arith_tactics'
New component: 'sat_smt'
New component: 'sat_tactic'
New component: 'nlsat_tactic'
New component: 'subpaving_tactic'
New component: 'proto_model'
New component: 'smt'
New component: 'bv_tactics'
New component: 'fuzzing'
New component: 'smt_tactic'
New component: 'sls_tactic'
New component: 'qe'
New component: 'sat_solver'
New component: 'fd_solver'
New component: 'muz'
New component: 'dataflow'
New component: 'transforms'
New component: 'rel'
New component: 'spacer'
New component: 'clp'
New component: 'tab'
New component: 'ddnf'
New component: 'bmc'
New component: 'fp'
New component: 'ufbv_tactic'
New component: 'smtlogic_tactics'
New component: 'fpa_tactics'
New component: 'portfolio'
New component: 'opt'
New component: 'api'
New component: 'extra_cmds'
New component: 'shell'
New component: 'test'
New component: 'api_dll'
New component: 'dotnet'
New component: 'java'
New component: 'ml'
New component: 'cpp'
Python bindings directory was detected.
New component: 'python'
New component: 'python_install'
New component: 'js'
New component: 'cpp_example'
New component: 'z3_tptp'
New component: 'c_example'
New component: 'maxsat'
New component: 'dotnet_example'
New component: 'java_example'
New component: 'ml_example'
New component: 'py_example'
Generating src/util/z3_version.h from src/util/z3_version.h.in
Generated 'src/util/z3_version.h'
Generated 'src/model/model_params.hpp'
Generated 'src/model/model_evaluator_params.hpp'
Generated 'src/solver/parallel_params.hpp'
Generated 'src/solver/solver_params.hpp'
Generated 'src/solver/combined_solver_params.hpp'
Generated 'src/nlsat/nlsat_params.hpp'
Generated 'src/smt/params/smt_params_helper.hpp'
Generated 'src/math/polynomial/algebraic_params.hpp'
Generated 'src/math/realclosure/rcf_params.hpp'
Generated 'src/ast/pp_params.hpp'
Generated 'src/ast/normal_forms/nnf_params.hpp'
Generated 'src/ackermannization/ackermannization_params.hpp'
Generated 'src/ackermannization/ackermannize_bv_tactic_params.hpp'
Generated 'src/params/pattern_inference_params_helper.hpp'
Generated 'src/params/arith_rewriter_params.hpp'
Generated 'src/params/seq_rewriter_params.hpp'
Generated 'src/params/fpa2bv_rewriter_params.hpp'
Generated 'src/params/bv_rewriter_params.hpp'
Generated 'src/params/rewriter_params.hpp'
Generated 'src/params/poly_rewriter_params.hpp'
Generated 'src/params/array_rewriter_params.hpp'
Generated 'src/params/bool_rewriter_params.hpp'
Generated 'src/params/fpa_rewriter_params.hpp'
Generated 'src/opt/opt_params.hpp'
Generated 'src/muz/base/fp_params.hpp'
Generated 'src/tactic/tactic_params.hpp'
Generated 'src/tactic/smtlogics/qfufbv_tactic_params.hpp'
Generated 'src/tactic/sls/sls_params.hpp'
Generated 'src/parsers/util/parser_params.hpp'
Generated 'src/sat/sat_params.hpp'
Generated 'src/sat/sat_asymm_branch_params.hpp'
Generated 'src/sat/sat_scc_params.hpp'
Generated 'src/sat/sat_simplifier_params.hpp'
Generated 'src/ast/pattern/database.h'
Component api
Component portfolio
Component smtlogic_tactics
Component ackermannization
Component model
Component rewriter
Component ast
Component util
Component polynomial
Component automata
Component params
Component solver
Component tactic
Component proofs
Component sat_solver
Component core_tactics
Component macros
Component normal_forms
Component pattern
Component smt2parser
Component cmd_context
Component parser_util
Component aig_tactic
Component bv_tactics
Component bit_blaster
Component arith_tactics
Component sat
Component dd
Component interval
Component grobner
Component simplex
Component sat_tactic
Component sat_smt
Component euf
Component smt_params
Component nlsat_tactic
Component nlsat
Component smt_tactic
Component smt
Component proto_model
Component substitution
Component fpa
Component lp
Component fp
Component muz
Component qe
Component clp
Component transforms
Component hilbert
Component dataflow
Component tab
Component rel
Component bmc
Component fd_solver
Component ddnf
Component spacer
Component ufbv_tactic
Component fpa_tactics
Component sls_tactic
Component subpaving_tactic
Component subpaving
Component realclosure
Component opt
Component extra_cmds
Component shell
Generated 'src/shell/install_tactic.cpp'
Component api
Component portfolio
Component smtlogic_tactics
Component ackermannization
Component model
Component rewriter
Component ast
Component util
Component polynomial
Component automata
Component params
Component solver
Component tactic
Component proofs
Component sat_solver
Component core_tactics
Component macros
Component normal_forms
Component pattern
Component smt2parser
Component cmd_context
Component parser_util
Component aig_tactic
Component bv_tactics
Component bit_blaster
Component arith_tactics
Component sat
Component dd
Component interval
Component grobner
Component simplex
Component sat_tactic
Component sat_smt
Component euf
Component smt_params
Component nlsat_tactic
Component nlsat
Component smt_tactic
Component smt
Component proto_model
Component substitution
Component fpa
Component lp
Component fp
Component muz
Component qe
Component clp
Component transforms
Component hilbert
Component dataflow
Component tab
Component rel
Component bmc
Component fd_solver
Component ddnf
Component spacer
Component ufbv_tactic
Component fpa_tactics
Component sls_tactic
Component subpaving_tactic
Component subpaving
Component realclosure
Component opt
Component fuzzing
Component test
Generated 'src/test/install_tactic.cpp'
Component api
Component portfolio
Component smtlogic_tactics
Component ackermannization
Component model
Component rewriter
Component ast
Component util
Component polynomial
Component automata
Component params
Component solver
Component tactic
Component proofs
Component sat_solver
Component core_tactics
Component macros
Component normal_forms
Component pattern
Component smt2parser
Component cmd_context
Component parser_util
Component aig_tactic
Component bv_tactics
Component bit_blaster
Component arith_tactics
Component sat
Component dd
Component interval
Component grobner
Component simplex
Component sat_tactic
Component sat_smt
Component euf
Component smt_params
Component nlsat_tactic
Component nlsat
Component smt_tactic
Component smt
Component proto_model
Component substitution
Component fpa
Component lp
Component fp
Component muz
Component qe
Component clp
Component transforms
Component hilbert
Component dataflow
Component tab
Component rel
Component bmc
Component fd_solver
Component ddnf
Component spacer
Component ufbv_tactic
Component fpa_tactics
Component sls_tactic
Component subpaving_tactic
Component subpaving
Component realclosure
Component opt
Component extra_cmds
Component api_dll
Generated 'src/api/dll/install_tactic.cpp'
Generated 'src/shell/mem_initializer.cpp'
Generated 'src/test/mem_initializer.cpp'
Generated 'src/api/dll/mem_initializer.cpp'
Generated 'src/shell/gparams_register_modules.cpp'
Generated 'src/test/gparams_register_modules.cpp'
Generated 'src/api/dll/gparams_register_modules.cpp'
Generated 'src/api/python/z3/z3consts.py
Generated 'src/api/api_log_macros.h'
Generated 'src/api/api_log_macros.cpp'
Generated 'src/api/api_commands.cpp'
Generated 'src/api/python/z3/z3core.py'
Listing 'src/api/python/z3'...
Compiling 'src/api/python/z3/z3consts.py'...
Compiling 'src/api/python/z3/z3core.py'...
Generated python bytecode
Copied 'z3consts.py'
Copied 'z3core.py'
Copied 'z3consts.cpython-310.pyc'
Copied 'z3core.cpython-310.pyc'
Testing ar...
Testing g++...
Testing gcc...
Testing floating point support...
Traceback (most recent call last):
  File "/home/pbulk/build/math/py-z3solver/work/z3-solver-4.8.9.0/core/scripts/mk_make.py", line 21, in <module>
    mk_makefile()
  File "/home/pbulk/build/math/py-z3solver/work/z3-solver-4.8.9.0/core/scripts/mk_util.py", line 2629, in mk_makefile
    mk_config()
  File "/home/pbulk/build/math/py-z3solver/work/z3-solver-4.8.9.0/core/scripts/mk_util.py", line 2530, in mk_config
    raise MKException('Unsupported platform: %s' % sysname)
mk_exception.MKException: 'Unsupported platform: SunOS'
error: Unable to configure Z3.
*** Error code 1

Stop.
bmake[1]: stopped in /data/jenkins/workspace/pkgsrc-2021Q4-x86_64/math/py-z3solver
*** Error code 1

Stop.
bmake: stopped in /data/jenkins/workspace/pkgsrc-2021Q4-x86_64/math/py-z3solver