=> 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 /tmp/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\ -fPIC\ -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\ -fPIC\ -D_FORTIFY_SOURCE=2\ -I/usr/include\ -I/usr/pkg/include/python3.8 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=-Wl,-zrelro\ -L/usr/lib\ -Wl,-R/usr/lib\ -Wl,-R/usr/pkg/lib LINKER_RPATH_FLAG=-R PATH=/tmp/math/py-z3solver/work/.cwrapper/bin:/tmp/math/py-z3solver/work/.buildlink/bin:/tmp/math/py-z3solver/work/.gcc/bin:/tmp/math/py-z3solver/work/.tools/bin:/usr/pkg/bin:/usr/bin:/bin:/usr/pkg/bin:/usr/local/bin:/usr/pkg/bin:/usr/X11R7/bin PREFIX=/usr/pkg MAKELEVEL=0 CONFIG_SITE= PKG_SYSCONFDIR=/usr/pkg/etc HOME=/tmp/math/py-z3solver/work/.home CWRAPPERS_CONFIG_DIR=/tmp/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\ wheel\ -m\ 755 BSD_INSTALL_SCRIPT=/usr/bin/install\ -c\ -o\ pbulk\ -g\ wheel\ -m\ 755 BSD_INSTALL_LIB=/usr/bin/install\ -c\ -o\ pbulk\ -g\ wheel\ -m\ 755 BSD_INSTALL_DATA=/usr/bin/install\ -c\ -o\ pbulk\ -g\ wheel\ -m\ 644 BSD_INSTALL_MAN=/usr/bin/install\ -c\ -o\ pbulk\ -g\ wheel\ -m\ 644 BSD_INSTALL=/usr/bin/install BSD_INSTALL_PROGRAM_DIR=/usr/bin/install\ -d\ -o\ pbulk\ -g\ wheel\ -m\ 755 BSD_INSTALL_SCRIPT_DIR=/usr/bin/install\ -d\ -o\ pbulk\ -g\ wheel\ -m\ 755 BSD_INSTALL_LIB_DIR=/usr/bin/install\ -d\ -o\ pbulk\ -g\ wheel\ -m\ 755 BSD_INSTALL_DATA_DIR=/usr/bin/install\ -d\ -o\ pbulk\ -g\ wheel\ -m\ 755 BSD_INSTALL_MAN_DIR=/usr/bin/install\ -d\ -o\ pbulk\ -g\ wheel\ -m\ 755 BSD_INSTALL_GAME=/usr/bin/install\ -c\ -s\ -o\ pbulk\ -g\ wheel\ -m\ 2555 BSD_INSTALL_GAME_DATA=/usr/bin/install\ -c\ -o\ pbulk\ -g\ wheel\ -m\ 664 BSD_INSTALL_GAME_DIR=/usr/bin/install\ -d\ -o\ pbulk\ -g\ wheel\ -m\ 775 INSTALL_INFO= MAKEINFO=/tmp/math/py-z3solver/work/.tools/bin/makeinfo FLEX= BISON= ITSTOOL=/tmp/math/py-z3solver/work/.tools/bin/itstool GDBUS_CODEGEN=/tmp/math/py-z3solver/work/.tools/bin/gdbus-codegen PKG_CONFIG=/tmp/math/py-z3solver/work/.tools/bin/pkg-config PKG_CONFIG_LIBDIR=/tmp/math/py-z3solver/work/.buildlink/lib/pkgconfig:/tmp/math/py-z3solver/work/.buildlink/share/pkgconfig PKG_CONFIG_LOG=/tmp/math/py-z3solver/work/.pkg-config.log PKG_CONFIG_PATH= CWRAPPERS_CONFIG_DIR=/tmp/math/py-z3solver/work/.cwrapper/config /usr/pkg/bin/python3.8  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
Traceback (most recent call last):
  File "/tmp/math/py-z3solver/work/z3-solver-4.8.9.0/core/scripts/mk_make.py", line 18, in <module>
    mk_bindings(API_files)
  File "/tmp/math/py-z3solver/work/z3-solver-4.8.9.0/core/scripts/mk_util.py", line 2911, in mk_bindings
    import update_api
  File "/tmp/math/py-z3solver/work/z3-solver-4.8.9.0/core/scripts/update_api.py", line 20, in <module>
    import argparse
ModuleNotFoundError: No module named 'argparse'
error: Unable to configure Z3.
*** Error code 1

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

Stop.
make: stopped in /amd/pkgsrc/CHROOT/P/pkgsrc/math/py-z3solver