=> Bootstrap dependency digest>=20211023: found digest-20220214 ===> Skipping vulnerability checks. WARNING: No /usr/pkg/pkgdb/pkg-vulnerabilities file found. WARNING: To fix run: `/usr/sbin/pkg_admin -K /usr/pkg/pkgdb fetch-pkg-vulnerabilities'. ===> Building for py38-z3solver-4.8.9.0nb2 (cd /usr/pkgsrc/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.8 CC=gcc CFLAGS=-O2\ -D_FORTIFY_SOURCE=2\ -I/usr/include\ -I/usr/pkg/include/python3.8 CPPFLAGS=-I/usr/include\ -I/usr/pkg/include/python3.8 CXX=c++ CXXFLAGS=-O2\ -D_FORTIFY_SOURCE=2\ -I/usr/include\ -I/usr/pkg/include/python3.8 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=-Wl,-zrelro\ -L/usr/lib\ -Wl,-R/usr/lib\ -Wl,-R/usr/pkg/lib LINKER_RPATH_FLAG=-R PATH=/usr/pkgsrc/math/py-z3solver/work/.cwrapper/bin:/usr/pkgsrc/math/py-z3solver/work/.buildlink/bin:/usr/pkgsrc/math/py-z3solver/work/.gcc/bin:/usr/pkgsrc/math/py-z3solver/work/.tools/bin:/usr/pkg/bin:/sbin:/usr/sbin:/bin:/usr/bin:/usr/pkg/sbin:/usr/pkg/bin:/usr/X11R7/bin:/usr/X11R6/bin:/usr/local/sbin:/usr/local/bin:/usr/pbulk/bin:/usr/pkg/bin:/usr/X11R7/bin PREFIX=/usr/pkg MAKELEVEL=0 CONFIG_SITE= PKG_SYSCONFDIR=/usr/pkg/etc HOME=/usr/pkgsrc/math/py-z3solver/work/.home CWRAPPERS_CONFIG_DIR=/usr/pkgsrc/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=/usr/pkgsrc/math/py-z3solver/work/.tools/bin/makeinfo FLEX= BISON= ITSTOOL=/usr/pkgsrc/math/py-z3solver/work/.tools/bin/itstool GDBUS_CODEGEN=/usr/pkgsrc/math/py-z3solver/work/.tools/bin/gdbus-codegen PKG_CONFIG=/usr/pkgsrc/math/py-z3solver/work/.tools/bin/pkg-config PKG_CONFIG_LIBDIR=/usr/pkgsrc/math/py-z3solver/work/.buildlink/lib/pkgconfig:/usr/pkgsrc/math/py-z3solver/work/.buildlink/share/pkgconfig PKG_CONFIG_LOG=/usr/pkgsrc/math/py-z3solver/work/.pkg-config.log PKG_CONFIG_PATH= CWRAPPERS_CONFIG_DIR=/usr/pkgsrc/math/py-z3solver/work/.cwrapper/config /usr/pkg/bin/python3.8 setup.py build ) 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-38.pyc' Copied 'z3core.cpython-38.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: False FP math: UNKNOWN Python pkg dir: /usr/pkg/lib/python3.8/site-packages Python version: 3.8 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 src/util/luby.cpp src/api/dll/dll.cpp src/util/common_msgs.cpp src/util/approx_nat.cpp src/smt/smt_statistics.cpp src/util/memory_manager.cpp src/util/z3_exception.cpp src/util/page.cpp src/util/util.cpp src/util/scoped_timer.cpp ../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/scoped_timer.o] Error code 1 make: stopped in /usr/pkgsrc/math/py-z3solver/work/z3-solver-4.8.9.0/core/build 1 error make: stopped in /usr/pkgsrc/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 /usr/pkgsrc/math/py-z3solver *** Error code 1 Stop. make: stopped in /usr/pkgsrc/math/py-z3solver