=> Bootstrap dependency digest>=20010302: found digest-20190127
===> Skipping vulnerability checks.
WARNING: No /var/db/pkg/pkg-vulnerabilities file found.
WARNING: To fix run: `/usr/sbin/pkg_admin -K /var/db/pkg fetch-pkg-vulnerabilities'.
===> Building for py37-z3solver-4.8.9.0
(cd /work/math/py-z3solver/work/z3-solver-4.8.9.0/ && /usr/bin/env USETOOLS=no PTHREAD_CFLAGS=\ -pthread\  PTHREAD_LDFLAGS=\ -pthread PTHREAD_LIBS= PTHREADBASE=/usr DL_CFLAGS=\ -pthread\  DL_LDFLAGS=\ -pthread DL_LIBS= PYTHON=/usr/pkg/bin/python3.7 CC=gcc CFLAGS=-O2\ -D_FORTIFY_SOURCE=2\ -I/usr/include\ -I/usr/pkg/include/python3.7 CPPFLAGS=-I/usr/include\ -I/usr/pkg/include/python3.7 CXX=c++ CXXFLAGS=-O2\ -D_FORTIFY_SOURCE=2\ -I/usr/include\ -I/usr/pkg/include/python3.7 COMPILER_RPATH_FLAG=-Wl,-R F77=g77 FC=g77 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/usr/lib\ -Wl,-R/usr/lib\ -Wl,-R/usr/pkg/lib LINKER_RPATH_FLAG=-R PATH=/work/math/py-z3solver/work/.cwrapper/bin:/work/math/py-z3solver/work/.buildlink/bin:/work/math/py-z3solver/work/.gcc/bin:/work/math/py-z3solver/work/.tools/bin:/usr/pkg/bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/pkg/bin:/usr/X11R7/bin PREFIX=/usr/pkg MAKELEVEL=0 CONFIG_SITE= PKG_SYSCONFDIR=/usr/pkg/etc HOME=/work/math/py-z3solver/work/.home CWRAPPERS_CONFIG_DIR=/work/math/py-z3solver/work/.cwrapper/config CPP=cpp LOCALBASE=/usr/pkg X11BASE=/usr/X11R7 PKGMANDIR=man PKGINFODIR=info PKGGNUDIR=gnu/ MAKECONF=/dev/null OBJECT_FMT=ELF USETOOLS=no BSD_INSTALL_PROGRAM=/usr/bin/install\ -c\ -s\ -o\ pbulk\ -g\ users\ -m\ 755 BSD_INSTALL_SCRIPT=/usr/bin/install\ -c\ -o\ pbulk\ -g\ users\ -m\ 755 BSD_INSTALL_LIB=/usr/bin/install\ -c\ -o\ pbulk\ -g\ users\ -m\ 755 BSD_INSTALL_DATA=/usr/bin/install\ -c\ -o\ pbulk\ -g\ users\ -m\ 644 BSD_INSTALL_MAN=/usr/bin/install\ -c\ -o\ pbulk\ -g\ users\ -m\ 644 BSD_INSTALL=/usr/bin/install BSD_INSTALL_PROGRAM_DIR=/usr/bin/install\ -d\ -o\ pbulk\ -g\ users\ -m\ 755 BSD_INSTALL_SCRIPT_DIR=/usr/bin/install\ -d\ -o\ pbulk\ -g\ users\ -m\ 755 BSD_INSTALL_LIB_DIR=/usr/bin/install\ -d\ -o\ pbulk\ -g\ users\ -m\ 755 BSD_INSTALL_DATA_DIR=/usr/bin/install\ -d\ -o\ pbulk\ -g\ users\ -m\ 755 BSD_INSTALL_MAN_DIR=/usr/bin/install\ -d\ -o\ pbulk\ -g\ users\ -m\ 755 BSD_INSTALL_GAME=/usr/bin/install\ -c\ -s\ -o\ pbulk\ -g\ users\ -m\ 2555 BSD_INSTALL_GAME_DATA=/usr/bin/install\ -c\ -o\ pbulk\ -g\ users\ -m\ 664 BSD_INSTALL_GAME_DIR=/usr/bin/install\ -d\ -o\ pbulk\ -g\ users\ -m\ 775 INSTALL_INFO= MAKEINFO=/work/math/py-z3solver/work/.tools/bin/makeinfo FLEX= BISON= ITSTOOL=/work/math/py-z3solver/work/.tools/bin/itstool GDBUS_CODEGEN=/work/math/py-z3solver/work/.tools/bin/gdbus-codegen PKG_CONFIG= PKG_CONFIG_LIBDIR=/work/math/py-z3solver/work/.buildlink/lib/pkgconfig:/work/math/py-z3solver/work/.buildlink/share/pkgconfig PKG_CONFIG_LOG=/work/math/py-z3solver/work/.pkg-config.log PKG_CONFIG_PATH= CWRAPPERS_CONFIG_DIR=/work/math/py-z3solver/work/.cwrapper/config /usr/pkg/bin/python3.7  setup.py  build  -j4)
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-37.pyc'
Copied 'z3core.cpython-37.pyc'
Testing ar...
Testing c++...
Testing gcc...
Testing floating point support...
Host platform:  NetBSD
C++ Compiler:   c++
C Compiler  :   gcc
Archive Tool:   ar
Arithmetic:     internal
Prefix:         /usr/pkg
64-bit:         True
FP math:        SSE2-GCC
Python pkg dir: /usr/pkg/lib/python3.7/site-packages
Python version: 3.7
Writing build/Makefile
Copied Z3Py example 'all_interval_series.py' to 'build/python'
Copied Z3Py example 'trafficjam.py' to 'build/python'
Copied Z3Py example 'parallel.py' to 'build/python'
Copied Z3Py example 'rc2.py' to 'build/python'
Copied Z3Py example 'mini_quip.py' to 'build/python'
Copied Z3Py example 'visitor.py' to 'build/python'
Copied Z3Py example 'example.py' to 'build/python'
Copied Z3Py example 'socrates.py' to 'build/python'
Copied Z3Py example 'union_sort.py' to 'build/python'
Copied Z3Py example 'mini_ic3.py' to 'build/python'
Makefile was successfully generated.
  compilation mode: Release
Type 'cd build; make' to build Z3
Building Z3
--- util/trace.h.node ---
--- util/mutex.h.node ---
--- util/scoped_numeral.h.node ---
--- util/optional.h.node ---
--- util/machine.h.node ---
--- util/obj_ref.h.node ---
--- shell/smtlib_frontend.h.node ---
--- shell/z3_log_frontend.h.node ---
--- util/warning.h.node ---
--- util/z3_version.h.node ---
--- shell/dimacs_frontend.h.node ---
--- shell/datalog_frontend.h.node ---
--- shell/opt_frontend.h.node ---
--- util/timeout.h.node ---
--- util/z3_exception.h.node ---
--- util/error_codes.h.node ---
--- util/file_path.h.node ---
--- util/env_params.h.node ---
--- shell/lp_frontend.h.node ---
--- shell/drat_frontend.h.node ---
--- util/common_msgs.h.node ---
--- sat/sat_justification.h.node ---
--- sat/sat_mus.h.node ---
--- util/ema.h.node ---
--- util/ref.h.node ---
--- ast/reg_decl_plugins.h.node ---
--- util/event_handler.h.node ---
--- util/sign.h.node ---
--- solver/progress_callback.h.node ---
--- cmd_context/extra_cmds/dbg_cmds.h.node ---
--- smt/smt_failure.h.node ---
--- params/bit_blaster_params.h.node ---
--- util/approx_nat.h.node ---
--- smt/smt_statistics.h.node ---
--- ast/expr_delta_pair.h.node ---
--- cmd_context/extra_cmds/polynomial_cmds.h.node ---
--- cmd_context/extra_cmds/subpaving_cmds.h.node ---
--- smt/smt2_extra_cmds.h.node ---
--- util/container_util.h.node ---
--- util/sstream.h.node ---
--- math/lp/lp_types.h.node ---
--- math/lp/indexed_value.h.node ---
--- math/lp/breakpoint.h.node ---
--- util/stacked_value.h.node ---
--- math/lp/conversion_helper.h.node ---
--- util/ext_gcd.h.node ---
--- math/lp/general_matrix.h.node ---
--- math/lp/lia_move.h.node ---
--- util/basic_interval.h.node ---
--- api/z3_macros.h.node ---
--- api/z3_api.h.node ---
--- api/z3_ast_containers.h.node ---
--- api/z3_algebraic.h.node ---
--- api/z3_polynomial.h.node ---
--- api/z3_rcf.h.node ---
--- api/z3_fixedpoint.h.node ---
--- api/z3_optimization.h.node ---
--- api/z3_fpa.h.node ---
--- api/z3_spacer.h.node ---
--- opt/opt_parse.h.node ---
--- tactic/arith/probe_arith.h.node ---
--- tactic/core/der_tactic.h.node ---
--- tactic/smtlogics/nra_tactic.h.node ---
--- cmd_context/cmd_util.h.node ---
--- ast/ast_lt.h.node ---
--- cmd_context/simplify_cmd.h.node ---
--- math/subpaving/subpaving_types.h.node ---
--- ast/well_sorted.h.node ---
--- model/model_v2_pp.h.node ---
--- solver/smt_logics.h.node ---
--- util/dec_ref_util.h.node ---
--- util/stream_buffer.h.node ---
--- solver/mus.h.node ---
--- opt/maxres.h.node ---
--- opt/maxlex.h.node ---
--- model/model_pp.h.node ---
--- math/simplex/simplex_def.h.node ---
--- solver/parallel_tactic.h.node ---
--- util/ref_util.h.node ---
--- ast/occurs.h.node ---
--- muz/spacer/spacer_legacy_frames.h.node ---
--- util/timeit.h.node ---
--- util/luby.h.node ---
--- ast/has_free_vars.h.node ---
--- ast/euf/euf_justification.h.node ---
--- util/dlist.h.node ---
--- qe/qe_cmd.h.node ---
--- util/stats.h.node ---
--- ast/expr_stat.h.node ---
--- math/lp/nla_settings.h.node ---
--- math/lp/nla_monotone_lemmas.h.node ---
--- smt/theory_dl.h.node ---
--- tactic/goal_util.h.node ---
--- tactic/core/collect_occs.h.node ---
--- ast/pattern/database.h.node ---
--- cmd_context/basic_cmds.h.node ---
--- cmd_context/cmd_context_to_goal.h.node ---
--- cmd_context/echo_tactic.h.node ---
--- cmd_context/eval_cmd.h.node ---
--- math/lp/polynomial.h.node ---
--- sat/sat_cutset_compute_shift.h.node ---
--- util/array.h.node ---
--- math/polynomial/polynomial_primes.h.node ---
--- math/polynomial/linear_eq_solver.h.node ---
--- util/bit_util.h.node ---
--- util/luby.o ---
--- api/dll/dll.o ---
--- util/tptr.h.node ---
--- util/luby.o ---
src/util/luby.cpp
--- api/dll/dll.o ---
src/api/dll/dll.cpp
--- util/memory_manager.h.node ---
--- util/debug.h.node ---
--- util/common_msgs.o ---
--- ast/rewriter/rewriter_types.h.node ---
--- tactic/tactic_exception.h.node ---
--- util/common_msgs.o ---
src/util/common_msgs.cpp
--- util/scoped_timer.h.node ---
--- util/cancel_eh.h.node ---
--- util/approx_nat.o ---
--- smt/smt_statistics.o ---
--- util/approx_nat.o ---
src/util/approx_nat.cpp
--- smt/smt_statistics.o ---
src/smt/smt_statistics.cpp
--- math/lp/var_register.h.node ---
--- math/lp/int_gcd_test.h.node ---
--- math/lp/int_cube.h.node ---
--- api/z3.h.node ---
--- util/small_object_allocator.h.node ---
--- util/approx_set.h.node ---
--- util/z3_exception.o ---
--- util/stopwatch.h.node ---
--- util/z3_exception.o ---
src/util/z3_exception.cpp
--- util/ext_numeral.h.node ---
--- util/util.h.node ---
--- util/buffer.h.node ---
--- util/page.h.node ---
--- util/memory_manager.o ---
--- api/api_log_macros.h.node ---
--- util/memory_manager.o ---
src/util/memory_manager.cpp
--- api/z3_replayer.h.node ---
--- util/fixed_bit_vector.h.node ---
--- util/approx_set.o ---
src/util/approx_set.cpp
--- util/timeit.o ---
src/util/timeit.cpp
--- util/timer.h.node ---
--- smt/theory_arith_eq.h.node ---
--- util/hash.h.node ---
--- util/string_buffer.h.node ---
--- util/scoped_ctrl_c.h.node ---
--- util/util.o ---
src/util/util.cpp
--- util/lbool.h.node ---
--- util/scoped_timer.o ---
src/util/scoped_timer.cpp
--- util/bit_util.o ---
src/util/bit_util.cpp
--- util/timeout.o ---
src/util/timeout.cpp
--- math/automata/boolean_algebra.h.node ---
--- util/plugin_manager.h.node ---
--- util/mpn.h.node ---
--- util/scoped_numeral_buffer.h.node ---
--- util/page.o ---
src/util/page.cpp
--- util/scoped_timer.o ---
../src/util/scoped_timer.cpp:33:10: error: 'timed_mutex' in namespace 'std' does not name a type
     std::timed_mutex m_mutex;
          ^
../src/util/scoped_timer.cpp:35:67: error: 'std::timed_mutex' has not been declared
     static void thread_func(unsigned ms, event_handler * eh, std::timed_mutex * mutex) {
                                                                   ^
../src/util/scoped_timer.cpp: In static member function 'static void scoped_timer::imp::thread_func(unsigned int, event_handler*, int*)':
../src/util/scoped_timer.cpp:38:24: error: request for member 'try_lock_until' in '* mutex', which is of non-class type 'int'
         while (!mutex->try_lock_until(end)) {
                        ^
../src/util/scoped_timer.cpp:45:16: error: request for member 'unlock' in '* mutex', which is of non-class type 'int'
         mutex->unlock();
                ^
../src/util/scoped_timer.cpp: In constructor 'scoped_timer::imp::imp(unsigned int, event_handler*)':
../src/util/scoped_timer.cpp:50:9: error: 'm_mutex' was not declared in this scope
         m_mutex.lock();
         ^
../src/util/scoped_timer.cpp: In destructor 'scoped_timer::imp::~imp()':
../src/util/scoped_timer.cpp:55:9: error: 'm_mutex' was not declared in this scope
         m_mutex.unlock();
         ^
--- util/stack.h.node ---
--- api/api_log.o ---
--- util/scoped_timer.o ---
*** [util/scoped_timer.o] Error code 1

make: stopped in /work/math/py-z3solver/work/z3-solver-4.8.9.0/core/build
--- api/api_log.o ---
src/api/api_log.cpp
1 error

make: stopped in /work/math/py-z3solver/work/z3-solver-4.8.9.0/core/build
error: Unable to build Z3.
*** Error code 1

Stop.
make[1]: stopped in /tree/pkgsrc/math/py-z3solver
*** Error code 1

Stop.
make: stopped in /tree/pkgsrc/math/py-z3solver