+ case "${usergroup_phase}" in
+ local run_cmd
+ run_cmd=run_su
+ shift
+ run_su /opt/pkg/bin/bmake all BATCH=1 DEPENDS_TARGET=/nonexistent PYTHON_VERSION_REQD=310 WRKLOG=/tmp/bulklog/z3-4.12.1/work.log
+ su pbulk -c '"$@"' make /opt/pkg/bin/bmake all BATCH=1 DEPENDS_TARGET=/nonexistent PYTHON_VERSION_REQD=310 WRKLOG=/tmp/bulklog/z3-4.12.1/work.log
=> Bootstrap dependency digest>=20211023: found digest-20220214
===> Building for z3-4.12.1
[ 0%] Building CXX object src/util/CMakeFiles/util.dir/approx_nat.cpp.o
[ 0%] Building CXX object src/util/CMakeFiles/util.dir/approx_set.cpp.o
[ 0%] Building CXX object src/util/CMakeFiles/util.dir/bit_util.cpp.o
[ 0%] Building CXX object src/util/CMakeFiles/util.dir/bit_vector.cpp.o
[ 0%] Building CXX object src/util/CMakeFiles/util.dir/cmd_context_types.cpp.o
[ 0%] Building CXX object src/util/CMakeFiles/util.dir/common_msgs.cpp.o
[ 0%] Building CXX object src/util/CMakeFiles/util.dir/debug.cpp.o
[ 0%] Building CXX object src/util/CMakeFiles/util.dir/env_params.cpp.o
[ 0%] Building CXX object src/util/CMakeFiles/util.dir/fixed_bit_vector.cpp.o
[ 1%] Building CXX object src/util/CMakeFiles/util.dir/gparams.cpp.o
[ 1%] Building CXX object src/util/CMakeFiles/util.dir/hash.cpp.o
[ 1%] Building CXX object src/util/CMakeFiles/util.dir/hwf.cpp.o
[ 1%] Building CXX object src/util/CMakeFiles/util.dir/inf_int_rational.cpp.o
[ 1%] Building CXX object src/util/CMakeFiles/util.dir/inf_rational.cpp.o
[ 1%] Building CXX object src/util/CMakeFiles/util.dir/inf_s_integer.cpp.o
[ 1%] Building CXX object src/util/CMakeFiles/util.dir/lbool.cpp.o
[ 1%] Building CXX object src/util/CMakeFiles/util.dir/luby.cpp.o
[ 1%] Building CXX object src/util/CMakeFiles/util.dir/memory_manager.cpp.o
[ 1%] Building CXX object src/util/CMakeFiles/util.dir/min_cut.cpp.o
[ 2%] Building CXX object src/util/CMakeFiles/util.dir/mpbq.cpp.o
[ 2%] Building CXX object src/util/CMakeFiles/util.dir/mpf.cpp.o
[ 2%] Building CXX object src/util/CMakeFiles/util.dir/mpff.cpp.o
[ 2%] Building CXX object src/util/CMakeFiles/util.dir/mpfx.cpp.o
[ 2%] Building CXX object src/util/CMakeFiles/util.dir/mpn.cpp.o
[ 2%] Building CXX object src/util/CMakeFiles/util.dir/mpq.cpp.o
[ 2%] Building CXX object src/util/CMakeFiles/util.dir/mpq_inf.cpp.o
[ 2%] Building CXX object src/util/CMakeFiles/util.dir/mpz.cpp.o
[ 2%] Building CXX object src/util/CMakeFiles/util.dir/page.cpp.o
[ 2%] Building CXX object src/util/CMakeFiles/util.dir/params.cpp.o
[ 3%] Building CXX object src/util/CMakeFiles/util.dir/permutation.cpp.o
[ 3%] Building CXX object src/util/CMakeFiles/util.dir/prime_generator.cpp.o
[ 3%] Building CXX object src/util/CMakeFiles/util.dir/rational.cpp.o
[ 3%] Building CXX object src/util/CMakeFiles/util.dir/region.cpp.o
[ 3%] Building CXX object src/util/CMakeFiles/util.dir/rlimit.cpp.o
[ 3%] Building CXX object src/util/CMakeFiles/util.dir/scoped_ctrl_c.cpp.o
[ 3%] Building CXX object src/util/CMakeFiles/util.dir/scoped_timer.cpp.o
[ 3%] Building CXX object src/util/CMakeFiles/util.dir/sexpr.cpp.o
[ 3%] Building CXX object src/util/CMakeFiles/util.dir/s_integer.cpp.o
[ 3%] Building CXX object src/util/CMakeFiles/util.dir/small_object_allocator.cpp.o
[ 4%] Building CXX object src/util/CMakeFiles/util.dir/smt2_util.cpp.o
[ 4%] Building CXX object src/util/CMakeFiles/util.dir/stack.cpp.o
[ 4%] Building CXX object src/util/CMakeFiles/util.dir/state_graph.cpp.o
[ 4%] Building CXX object src/util/CMakeFiles/util.dir/statistics.cpp.o
[ 4%] Building CXX object src/util/CMakeFiles/util.dir/symbol.cpp.o
[ 4%] Building CXX object src/util/CMakeFiles/util.dir/tbv.cpp.o
[ 4%] Building CXX object src/util/CMakeFiles/util.dir/timeit.cpp.o
[ 4%] Building CXX object src/util/CMakeFiles/util.dir/timeout.cpp.o
[ 4%] Building CXX object src/util/CMakeFiles/util.dir/trace.cpp.o
[ 4%] Building CXX object src/util/CMakeFiles/util.dir/util.cpp.o
[ 5%] Building CXX object src/util/CMakeFiles/util.dir/warning.cpp.o
[ 5%] Building CXX object src/util/CMakeFiles/util.dir/z3_exception.cpp.o
[ 5%] Building CXX object src/util/CMakeFiles/util.dir/zstring.cpp.o
[ 5%] Built target util
[ 5%] Generating "/home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build/src/math/polynomial/algebraic_params.hpp" from "algebraic_params.pyg"
INFO:root:Using /home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/math/polynomial/algebraic_params.pyg
INFO:root:Generated "/home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build/src/math/polynomial/algebraic_params.hpp"
[ 5%] Building CXX object src/math/polynomial/CMakeFiles/polynomial.dir/algebraic_numbers.cpp.o
[ 5%] Building CXX object src/math/polynomial/CMakeFiles/polynomial.dir/polynomial_cache.cpp.o
[ 5%] Building CXX object src/math/polynomial/CMakeFiles/polynomial.dir/polynomial.cpp.o
[ 5%] Building CXX object src/math/polynomial/CMakeFiles/polynomial.dir/rpolynomial.cpp.o
[ 5%] Building CXX object src/math/polynomial/CMakeFiles/polynomial.dir/sexpr2upolynomial.cpp.o
[ 5%] Building CXX object src/math/polynomial/CMakeFiles/polynomial.dir/upolynomial.cpp.o
[ 5%] Building CXX object src/math/polynomial/CMakeFiles/polynomial.dir/upolynomial_factorization.cpp.o
[ 5%] Built target polynomial
[ 5%] Building CXX object src/math/dd/CMakeFiles/dd.dir/dd_bdd.cpp.o
[ 5%] Building CXX object src/math/dd/CMakeFiles/dd.dir/dd_fdd.cpp.o
[ 5%] Building CXX object src/math/dd/CMakeFiles/dd.dir/dd_pdd.cpp.o
[ 5%] Built target dd
[ 5%] Building CXX object src/math/hilbert/CMakeFiles/hilbert.dir/hilbert_basis.cpp.o
[ 5%] Built target hilbert
[ 5%] Building CXX object src/math/simplex/CMakeFiles/simplex.dir/simplex.cpp.o
[ 5%] Building CXX object src/math/simplex/CMakeFiles/simplex.dir/model_based_opt.cpp.o
[ 5%] Building CXX object src/math/simplex/CMakeFiles/simplex.dir/bit_matrix.cpp.o
[ 5%] Built target simplex
[ 5%] Building CXX object src/math/automata/CMakeFiles/automata.dir/automaton.cpp.o
[ 5%] Built target automata
[ 5%] Building CXX object src/math/interval/CMakeFiles/interval.dir/interval_mpq.cpp.o
[ 5%] Building CXX object src/math/interval/CMakeFiles/interval.dir/dep_intervals.cpp.o
[ 5%] Built target interval
[ 5%] Generating "/home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build/src/math/realclosure/rcf_params.hpp" from "rcf_params.pyg"
INFO:root:Using /home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/math/realclosure/rcf_params.pyg
INFO:root:Generated "/home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build/src/math/realclosure/rcf_params.hpp"
[ 5%] Building CXX object src/math/realclosure/CMakeFiles/realclosure.dir/mpz_matrix.cpp.o
[ 5%] Building CXX object src/math/realclosure/CMakeFiles/realclosure.dir/realclosure.cpp.o
[ 5%] Built target realclosure
[ 5%] Building CXX object src/math/subpaving/CMakeFiles/subpaving.dir/subpaving.cpp.o
[ 7%] Building CXX object src/math/subpaving/CMakeFiles/subpaving.dir/subpaving_hwf.cpp.o
[ 7%] Building CXX object src/math/subpaving/CMakeFiles/subpaving.dir/subpaving_mpf.cpp.o
[ 7%] Building CXX object src/math/subpaving/CMakeFiles/subpaving.dir/subpaving_mpff.cpp.o
[ 7%] Building CXX object src/math/subpaving/CMakeFiles/subpaving.dir/subpaving_mpfx.cpp.o
[ 7%] Building CXX object src/math/subpaving/CMakeFiles/subpaving.dir/subpaving_mpq.cpp.o
[ 7%] Built target subpaving
[ 7%] Generating "/home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build/src/ast/pp_params.hpp" from "pp_params.pyg"
INFO:root:Using /home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/ast/pp_params.pyg
INFO:root:Generated "/home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build/src/ast/pp_params.hpp"
[ 7%] Building CXX object src/ast/CMakeFiles/ast.dir/act_cache.cpp.o
[ 7%] Building CXX object src/ast/CMakeFiles/ast.dir/arith_decl_plugin.cpp.o
[ 7%] Building CXX object src/ast/CMakeFiles/ast.dir/array_decl_plugin.cpp.o
[ 7%] Building CXX object src/ast/CMakeFiles/ast.dir/ast.cpp.o
[ 7%] Building CXX object src/ast/CMakeFiles/ast.dir/ast_ll_pp.cpp.o
[ 7%] Building CXX object src/ast/CMakeFiles/ast.dir/ast_lt.cpp.o
[ 8%] Building CXX object src/ast/CMakeFiles/ast.dir/ast_pp_util.cpp.o
[ 8%] Building CXX object src/ast/CMakeFiles/ast.dir/ast_printer.cpp.o
[ 8%] Building CXX object src/ast/CMakeFiles/ast.dir/ast_smt2_pp.cpp.o
[ 8%] Building CXX object src/ast/CMakeFiles/ast.dir/ast_smt_pp.cpp.o
[ 8%] Building CXX object src/ast/CMakeFiles/ast.dir/ast_pp_dot.cpp.o
[ 8%] Building CXX object src/ast/CMakeFiles/ast.dir/ast_translation.cpp.o
[ 8%] Building CXX object src/ast/CMakeFiles/ast.dir/ast_util.cpp.o
[ 8%] Building CXX object src/ast/CMakeFiles/ast.dir/bv_decl_plugin.cpp.o
[ 8%] Building CXX object src/ast/CMakeFiles/ast.dir/char_decl_plugin.cpp.o
[ 8%] Building CXX object src/ast/CMakeFiles/ast.dir/cost_evaluator.cpp.o
[ 9%] Building CXX object src/ast/CMakeFiles/ast.dir/datatype_decl_plugin.cpp.o
[ 9%] Building CXX object src/ast/CMakeFiles/ast.dir/decl_collector.cpp.o
[ 9%] Building CXX object src/ast/CMakeFiles/ast.dir/display_dimacs.cpp.o
[ 9%] Building CXX object src/ast/CMakeFiles/ast.dir/dl_decl_plugin.cpp.o
[ 9%] Building CXX object src/ast/CMakeFiles/ast.dir/expr2polynomial.cpp.o
[ 9%] Building CXX object src/ast/CMakeFiles/ast.dir/expr2var.cpp.o
[ 9%] Building CXX object src/ast/CMakeFiles/ast.dir/expr_abstract.cpp.o
[ 9%] Building CXX object src/ast/CMakeFiles/ast.dir/expr_functors.cpp.o
[ 9%] Building CXX object src/ast/CMakeFiles/ast.dir/expr_map.cpp.o
[ 9%] Building CXX object src/ast/CMakeFiles/ast.dir/expr_stat.cpp.o
[ 10%] Building CXX object src/ast/CMakeFiles/ast.dir/expr_substitution.cpp.o
[ 10%] Building CXX object src/ast/CMakeFiles/ast.dir/for_each_ast.cpp.o
[ 10%] Building CXX object src/ast/CMakeFiles/ast.dir/for_each_expr.cpp.o
[ 10%] Building CXX object src/ast/CMakeFiles/ast.dir/format.cpp.o
[ 10%] Building CXX object src/ast/CMakeFiles/ast.dir/fpa_decl_plugin.cpp.o
[ 10%] Building CXX object src/ast/CMakeFiles/ast.dir/func_decl_dependencies.cpp.o
[ 10%] Building CXX object src/ast/CMakeFiles/ast.dir/has_free_vars.cpp.o
[ 10%] Building CXX object src/ast/CMakeFiles/ast.dir/macro_substitution.cpp.o
[ 10%] Building CXX object src/ast/CMakeFiles/ast.dir/num_occurs.cpp.o
[ 10%] Building CXX object src/ast/CMakeFiles/ast.dir/occurs.cpp.o
[ 11%] Building CXX object src/ast/CMakeFiles/ast.dir/pb_decl_plugin.cpp.o
[ 11%] Building CXX object src/ast/CMakeFiles/ast.dir/pp.cpp.o
[ 11%] Building CXX object src/ast/CMakeFiles/ast.dir/quantifier_stat.cpp.o
[ 11%] Building CXX object src/ast/CMakeFiles/ast.dir/recfun_decl_plugin.cpp.o
In file included from /home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/ast/recfun_decl_plugin.cpp:24:
In constructor 'recfun::case_def::case_def(recfun::case_def&&)',
inlined from 'vector<T, CallDestructors, SZ>& vector<T, CallDestructors, SZ>::push_back(T&&) [with T = recfun::case_def; bool CallDestructors = true; SZ = unsigned int]' at /home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/util/vector.h:541:9,
inlined from 'recfun::def* recfun::def::copy(recfun::util&, ast_translation&)' at /home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/ast/recfun_decl_plugin.cpp:82:33:
/home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/ast/recfun_decl_plugin.h:58:11: warning: '<unnamed>.recfun::case_def::m_def' may be used uninitialized [-Wmaybe-uninitialized]
58 | class case_def {
| ^~~~~~~~
/home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/ast/recfun_decl_plugin.cpp: In member function 'recfun::def* recfun::def::copy(recfun::util&, ast_translation&)':
/home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/ast/recfun_decl_plugin.cpp:82:50: note: '<anonymous>' declared here
82 | r->m_cases.push_back(case_def(tr.to()));
| ^
In constructor 'recfun::case_def::case_def(recfun::case_def&&)',
inlined from 'vector<T, CallDestructors, SZ>& vector<T, CallDestructors, SZ>::push_back(T&&) [with T = recfun::case_def; bool CallDestructors = true; SZ = unsigned int]' at /home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/util/vector.h:541:9,
inlined from 'recfun::def* recfun::def::copy(recfun::util&, ast_translation&)' at /home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/ast/recfun_decl_plugin.cpp:82:33:
/home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/ast/recfun_decl_plugin.h:58:11: warning: '<unnamed>.recfun::case_def::m_immediate' may be used uninitialized [-Wmaybe-uninitialized]
58 | class case_def {
| ^~~~~~~~
/home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/ast/recfun_decl_plugin.cpp: In member function 'recfun::def* recfun::def::copy(recfun::util&, ast_translation&)':
/home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/ast/recfun_decl_plugin.cpp:82:50: note: '<anonymous>' declared here
82 | r->m_cases.push_back(case_def(tr.to()));
| ^
[ 11%] Building CXX object src/ast/CMakeFiles/ast.dir/reg_decl_plugins.cpp.o
[ 11%] Building CXX object src/ast/CMakeFiles/ast.dir/seq_decl_plugin.cpp.o
[ 11%] Building CXX object src/ast/CMakeFiles/ast.dir/shared_occs.cpp.o
[ 11%] Building CXX object src/ast/CMakeFiles/ast.dir/special_relations_decl_plugin.cpp.o
[ 11%] Building CXX object src/ast/CMakeFiles/ast.dir/static_features.cpp.o
[ 11%] Building CXX object src/ast/CMakeFiles/ast.dir/used_vars.cpp.o
[ 13%] Building CXX object src/ast/CMakeFiles/ast.dir/value_generator.cpp.o
[ 13%] Building CXX object src/ast/CMakeFiles/ast.dir/well_sorted.cpp.o
[ 13%] Built target ast
[ 14%] Generating "/home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build/src/params/arith_rewriter_params.hpp" from "arith_rewriter_params.pyg"
INFO:root:Using /home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/params/arith_rewriter_params.pyg
INFO:root:Generated "/home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build/src/params/arith_rewriter_params.hpp"
[ 14%] Generating "/home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build/src/params/array_rewriter_params.hpp" from "array_rewriter_params.pyg"
INFO:root:Using /home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/params/array_rewriter_params.pyg
INFO:root:Generated "/home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build/src/params/array_rewriter_params.hpp"
[ 14%] Generating "/home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build/src/params/bool_rewriter_params.hpp" from "bool_rewriter_params.pyg"
INFO:root:Using /home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/params/bool_rewriter_params.pyg
INFO:root:Generated "/home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build/src/params/bool_rewriter_params.hpp"
[ 14%] Generating "/home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build/src/params/bv_rewriter_params.hpp" from "bv_rewriter_params.pyg"
INFO:root:Using /home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/params/bv_rewriter_params.pyg
INFO:root:Generated "/home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build/src/params/bv_rewriter_params.hpp"
[ 14%] Generating "/home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build/src/params/fpa2bv_rewriter_params.hpp" from "fpa2bv_rewriter_params.pyg"
INFO:root:Using /home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/params/fpa2bv_rewriter_params.pyg
INFO:root:Generated "/home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build/src/params/fpa2bv_rewriter_params.hpp"
[ 14%] Generating "/home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build/src/params/fpa_rewriter_params.hpp" from "fpa_rewriter_params.pyg"
INFO:root:Using /home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/params/fpa_rewriter_params.pyg
INFO:root:Generated "/home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build/src/params/fpa_rewriter_params.hpp"
[ 14%] Generating "/home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build/src/params/pattern_inference_params_helper.hpp" from "pattern_inference_params_helper.pyg"
INFO:root:Using /home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/params/pattern_inference_params_helper.pyg
INFO:root:Generated "/home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build/src/params/pattern_inference_params_helper.hpp"
[ 14%] Generating "/home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build/src/params/poly_rewriter_params.hpp" from "poly_rewriter_params.pyg"
INFO:root:Using /home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/params/poly_rewriter_params.pyg
INFO:root:Generated "/home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build/src/params/poly_rewriter_params.hpp"
[ 14%] Generating "/home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build/src/params/rewriter_params.hpp" from "rewriter_params.pyg"
INFO:root:Using /home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/params/rewriter_params.pyg
INFO:root:Generated "/home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build/src/params/rewriter_params.hpp"
[ 14%] Generating "/home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build/src/params/seq_rewriter_params.hpp" from "seq_rewriter_params.pyg"
INFO:root:Using /home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/params/seq_rewriter_params.pyg
INFO:root:Generated "/home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build/src/params/seq_rewriter_params.hpp"
[ 15%] Generating "/home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build/src/params/solver_params.hpp" from "solver_params.pyg"
INFO:root:Using /home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/params/solver_params.pyg
INFO:root:Generated "/home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build/src/params/solver_params.hpp"
[ 15%] Generating "/home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build/src/params/tactic_params.hpp" from "tactic_params.pyg"
INFO:root:Using /home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/params/tactic_params.pyg
INFO:root:Generated "/home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build/src/params/tactic_params.hpp"
[ 15%] Building CXX object src/params/CMakeFiles/params.dir/pattern_inference_params.cpp.o
[ 15%] Building CXX object src/params/CMakeFiles/params.dir/context_params.cpp.o
[ 15%] Built target params
[ 15%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/arith_rewriter.cpp.o
[ 15%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/array_rewriter.cpp.o
[ 15%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/ast_counter.cpp.o
[ 16%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/bit2int.cpp.o
[ 16%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/bool_rewriter.cpp.o
[ 16%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/bv_bounds.cpp.o
[ 16%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/bv_elim.cpp.o
[ 16%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/bv_rewriter.cpp.o
/home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/ast/rewriter/bv_rewriter.cpp: In member function 'br_status bv_rewriter::mk_concat(unsigned int, expr* const*, expr_ref&)':
/home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/ast/rewriter/bv_rewriter.cpp:1557:28: warning: unused variable 'arg' [-Wunused-variable]
1557 | for (expr* arg : new_args)
| ^~~
[ 16%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/cached_var_subst.cpp.o
[ 16%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/char_rewriter.cpp.o
[ 16%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/datatype_rewriter.cpp.o
[ 16%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/der.cpp.o
[ 16%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/distribute_forall.cpp.o
[ 17%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/dl_rewriter.cpp.o
[ 17%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/elim_bounds.cpp.o
[ 17%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/enum2bv_rewriter.cpp.o
[ 17%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/expr_replacer.cpp.o
[ 17%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/expr_safe_replace.cpp.o
[ 17%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/factor_equivs.cpp.o
[ 17%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/factor_rewriter.cpp.o
[ 17%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/fpa_rewriter.cpp.o
[ 17%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/func_decl_replace.cpp.o
[ 17%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/hoist_rewriter.cpp.o
[ 19%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/inj_axiom.cpp.o
[ 19%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/label_rewriter.cpp.o
[ 19%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/macro_replacer.cpp.o
/home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/ast/rewriter/macro_replacer.cpp: In member function 'bool macro_replacer::macro_replacer_cfg::get_subst(expr*, expr*&, proof*&)':
/home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/ast/rewriter/macro_replacer.cpp:81:21: warning: unused variable 'q' [-Wunused-variable]
81 | quantifier* q = nullptr;
| ^
/home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/ast/rewriter/macro_replacer.cpp:82:41: warning: unused variable 'd2' [-Wunused-variable]
82 | func_decl* d = n->get_decl(), * d2 = nullptr;
| ^~
[ 19%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/maximize_ac_sharing.cpp.o
[ 19%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/mk_simplified_app.cpp.o
[ 19%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/pb_rewriter.cpp.o
[ 19%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/pb2bv_rewriter.cpp.o
[ 19%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/push_app_ite.cpp.o
[ 19%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/quant_hoist.cpp.o
[ 19%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/recfun_rewriter.cpp.o
[ 20%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/rewriter.cpp.o
[ 20%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/seq_axioms.cpp.o
[ 20%] Building CXX object src/ast/rewriter/CMakeFiles/rewriter.dir/seq_eq_solver.cpp.o
/home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/ast/rewriter/seq_eq_solver.cpp: In member function 'bool seq::eq_solver::reduce_ubv2s2(const seq::eqr&, seq::eq_ptr&)':
/home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/ast/rewriter/seq_eq_solver.cpp:287:35: error: call of overloaded 'log2(int)' is ambiguous
287 | if (es.size() > (sz + log2(10)-1)/log2(10)) {
| ~~~~^~~~
In file included from /usr/include/math.h:36,
from /opt/tools/gcc12/include/c++/12.2.0/bits/std_abs.h:40,
from /opt/tools/gcc12/include/c++/12.2.0/cstdlib:77,
from /opt/tools/gcc12/include/c++/12.2.0/ext/string_conversions.h:41,
from /opt/tools/gcc12/include/c++/12.2.0/bits/basic_string.h:3960,
from /opt/tools/gcc12/include/c++/12.2.0/string:53,
from /home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/ast/format.h:20,
from /home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/ast/ast_smt2_pp.h:24,
from /home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/ast/ast_pp.h:23,
from /home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/ast/rewriter/seq_eq_solver.cpp:18:
/usr/include/iso/math_c99.h:221:15: note: candidate: 'double log2(double)'
221 | extern double log2(double);
| ^~~~
In file included from /home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/util/hash.h:22,
from /home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/util/vector.h:34,
from /home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/ast/ast.h:22,
from /home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/ast/format.h:22:
/home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/util/util.h:101:10: note: candidate: 'unsigned int log2(unsigned int)'
101 | unsigned log2(unsigned v);
| ^~~~
/home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/ast/rewriter/seq_eq_solver.cpp:287:47: error: call of overloaded 'log2(int)' is ambiguous
287 | if (es.size() > (sz + log2(10)-1)/log2(10)) {
| ~~~~^~~~
/usr/include/iso/math_c99.h:221:15: note: candidate: 'double log2(double)'
221 | extern double log2(double);
| ^~~~
/home/pbulk/build/math/z3/work/z3-z3-4.12.1/src/util/util.h:101:10: note: candidate: 'unsigned int log2(unsigned int)'
101 | unsigned log2(unsigned v);
| ^~~~
*** [src/ast/rewriter/CMakeFiles/rewriter.dir/seq_eq_solver.cpp.o] Error code 1
bmake[2]: stopped in /home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build
1 error
bmake[2]: stopped in /home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build
*** [src/ast/rewriter/CMakeFiles/rewriter.dir/all] Error code 2
bmake[1]: stopped in /home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build
1 error
bmake[1]: stopped in /home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build
*** [all] Error code 2
bmake: stopped in /home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build
1 error
bmake: stopped in /home/pbulk/build/math/z3/work/z3-z3-4.12.1/cmake-pkgsrc-build
*** Error code 2
Stop.
bmake[1]: stopped in /data/jenkins/workspace/pkgsrc-upstream-trunk/math/z3
*** Error code 1
Stop.
bmake: stopped in /data/jenkins/workspace/pkgsrc-upstream-trunk/math/z3