=> Bootstrap dependency digest>=20010302: found digest-20190127
=> Checksum SHA1 OK for z3-4.8.3.tar.gz
=> Checksum RMD160 OK for z3-4.8.3.tar.gz
=> Checksum SHA512 OK for z3-4.8.3.tar.gz
===> Installing dependencies for z3-4.8.3nb1
==========================================================================
The supported build options for z3 are:

	java ocaml

The currently selected options are:

	ocaml

You can select which build options to use by setting PKG_DEFAULT_OPTIONS
or the following variable.  Its current value is shown:

	PKG_OPTIONS.z3 (not defined)

==========================================================================
==========================================================================
The following variables will affect the build process of this package,
z3-4.8.3nb1.  Their current value is shown below:

        * PYTHON_VERSION_DEFAULT = 38

Based on these variables, the following variables have been set:

        * PYPACKAGE = python38
        * TERMCAP_TYPE = termcap

You may want to abort the process now with CTRL-C and change their value
before continuing.  Be sure to run `/usr/bin/make clean' after
the changes.
==========================================================================
=> Build dependency cwrappers>=20150314: found cwrappers-20180325
=> Full dependency python38>=3.8.0: found python38-3.8.6nb1
=> Full dependency ocaml-num>=1.1nb2: found ocaml-num-1.1nb3
=> Full dependency ocaml>=4.11.1: found ocaml-4.11.1
===> 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'.
===> Overriding tools for z3-4.8.3nb1
===> Extracting for z3-4.8.3nb1
===> Patching for z3-4.8.3nb1
=> Applying pkgsrc patches for z3-4.8.3nb1
===> Creating toolchain wrappers for z3-4.8.3nb1
===> Configuring for z3-4.8.3nb1
opt = --ml, arg = 
New component: 'util'
New component: 'polynomial'
New component: 'sat'
New component: 'nlsat'
New component: 'lp'
New component: 'hilbert'
New component: 'simplex'
New component: 'automata'
New component: 'interval'
New component: 'realclosure'
New component: 'subpaving'
New component: 'ast'
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: 'grobner'
New component: 'euclid'
New component: 'core_tactics'
New component: 'proofs'
New component: 'solver'
New component: 'sat_tactic'
New component: 'arith_tactics'
New component: 'nlsat_tactic'
New component: 'subpaving_tactic'
New component: 'aig_tactic'
New component: 'ackermannization'
New component: 'cmd_context'
New component: 'smt2parser'
New component: 'fpa'
New component: 'pattern'
New component: 'bit_blaster'
New component: 'smt_params'
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: 'dotnetcore'
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'
Generating src/api/dotnet/Properties/AssemblyInfo.cs from src/api/dotnet/Properties/AssemblyInfo.cs.in
Generating src/api/dotnet/Properties/AssemblyInfo.cs from src/api/dotnet/Properties/AssemblyInfo.cs.in
Generated 'src/ackermannization/ackermannization_params.hpp'
Generated 'src/ackermannization/ackermannize_bv_tactic_params.hpp'
Generated 'src/ast/pp_params.hpp'
Generated 'src/ast/fpa/fpa2bv_rewriter_params.hpp'
Generated 'src/ast/normal_forms/nnf_params.hpp'
Generated 'src/ast/pattern/pattern_inference_params_helper.hpp'
Generated 'src/ast/rewriter/arith_rewriter_params.hpp'
Generated 'src/ast/rewriter/array_rewriter_params.hpp'
Generated 'src/ast/rewriter/bool_rewriter_params.hpp'
Generated 'src/ast/rewriter/bv_rewriter_params.hpp'
Generated 'src/ast/rewriter/fpa_rewriter_params.hpp'
Generated 'src/ast/rewriter/poly_rewriter_params.hpp'
Generated 'src/ast/rewriter/rewriter_params.hpp'
Generated 'src/math/polynomial/algebraic_params.hpp'
Generated 'src/math/realclosure/rcf_params.hpp'
Generated 'src/model/model_evaluator_params.hpp'
Generated 'src/model/model_params.hpp'
Generated 'src/muz/base/fp_params.hpp'
Generated 'src/nlsat/nlsat_params.hpp'
Generated 'src/opt/opt_params.hpp'
Generated 'src/parsers/util/parser_params.hpp'
Generated 'src/sat/sat_asymm_branch_params.hpp'
Generated 'src/sat/sat_params.hpp'
Generated 'src/sat/sat_scc_params.hpp'
Generated 'src/sat/sat_simplifier_params.hpp'
Generated 'src/smt/params/smt_params_helper.hpp'
Generated 'src/solver/combined_solver_params.hpp'
Generated 'src/solver/parallel_params.hpp'
Generated 'src/tactic/sls/sls_params.hpp'
Generated 'src/tactic/smtlogics/qfufbv_tactic_params.hpp'
Generated 'src/util/lp/lp_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 solver
Component tactic
Component proofs
Component sat_solver
Component core_tactics
Component macros
Component normal_forms
Component aig_tactic
Component bv_tactics
Component bit_blaster
Component arith_tactics
Component sat
Component sat_tactic
Component nlsat_tactic
Component nlsat
Component smt_tactic
Component smt
Component cmd_context
Component proto_model
Component smt_params
Component pattern
Component smt2parser
Component parser_util
Component substitution
Component grobner
Component euclid
Component simplex
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 interval
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 solver
Component tactic
Component proofs
Component sat_solver
Component core_tactics
Component macros
Component normal_forms
Component aig_tactic
Component bv_tactics
Component bit_blaster
Component arith_tactics
Component sat
Component sat_tactic
Component nlsat_tactic
Component nlsat
Component smt_tactic
Component smt
Component cmd_context
Component proto_model
Component smt_params
Component pattern
Component smt2parser
Component parser_util
Component substitution
Component grobner
Component euclid
Component simplex
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 interval
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 solver
Component tactic
Component proofs
Component sat_solver
Component core_tactics
Component macros
Component normal_forms
Component aig_tactic
Component bv_tactics
Component bit_blaster
Component arith_tactics
Component sat
Component sat_tactic
Component nlsat_tactic
Component nlsat
Component smt_tactic
Component smt
Component cmd_context
Component proto_model
Component smt_params
Component pattern
Component smt2parser
Component parser_util
Component substitution
Component grobner
Component euclid
Component simplex
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 interval
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'
Generated "src/api/ml/z3native.ml"
Generated "src/api/ml/z3native_stubs.c"
Listing 'src/api/python/z3'...
Compiling 'src/api/python/z3/__init__.py'...
Compiling 'src/api/python/z3/z3.py'...
Compiling 'src/api/python/z3/z3consts.py'...
Compiling 'src/api/python/z3/z3core.py'...
Compiling 'src/api/python/z3/z3num.py'...
Compiling 'src/api/python/z3/z3poly.py'...
Compiling 'src/api/python/z3/z3printer.py'...
Compiling 'src/api/python/z3/z3rcf.py'...
Compiling 'src/api/python/z3/z3types.py'...
Compiling 'src/api/python/z3/z3util.py'...
Generated python bytecode
Copied '__init__.py'
Copied 'z3.py'
Copied 'z3num.py'
Copied 'z3poly.py'
Copied 'z3printer.py'
Copied 'z3rcf.py'
Copied 'z3types.py'
Copied 'z3util.py'
Copied 'z3consts.py'
Copied 'z3core.py'
Copied '__init__.cpython-38.pyc'
Copied 'z3.cpython-38.pyc'
Copied 'z3consts.cpython-38.pyc'
Copied 'z3core.cpython-38.pyc'
Copied 'z3num.cpython-38.pyc'
Copied 'z3poly.cpython-38.pyc'
Copied 'z3printer.cpython-38.pyc'
Copied 'z3rcf.cpython-38.pyc'
Copied 'z3types.cpython-38.pyc'
Copied 'z3util.cpython-38.pyc'
Testing ocamlc...
Testing ocamlopt...
Finding OCAML_LIB...
OCAML_LIB=/usr/pkg/lib/ocaml
Testing ocamlfind...
Generated "src/api/ml/z3enums.ml"
Testing ar...
Testing c++...
Testing gcc...
Testing floating point support...
Testing OpenMP...
Host platform:  NetBSD
C++ Compiler:   c++
C Compiler  :   gcc
Archive Tool:   ar
Arithmetic:     internal
OpenMP:         True
Prefix:         /usr/pkg
64-bit:         False
FP math:        ARM-VFP
Python pkg dir: /usr/pkg/lib/python3.8/site-packages
Python version: 3.8
OCaml Compiler: ocamlc
OCaml Find tool: ocamlfind
OCaml Native:   ocamlopt
OCaml Library:  /usr/pkg/lib/ocaml
Writing build/Makefile
Generating build/api/ml/META from src/api/ml/META.in
Copied Z3Py example 'all_interval_series.py' to 'build/python'
Copied Z3Py example 'example.py' to 'build/python'
Copied Z3Py example 'mini_ic3.py' to 'build/python'
Copied Z3Py example 'parallel.py' to 'build/python'
Copied Z3Py example 'socrates.py' to 'build/python'
Copied Z3Py example 'visitor.py' to 'build/python'
Makefile was successfully generated.
  compilation mode: Release
Type 'cd build; make' to build Z3