=> 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'.
=> 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 py36-z3-4.8.3
==========================================================================
The following variables will affect the build process of this package,
py36-z3-4.8.3.  Their current value is shown below:

        * PYTHON_VERSION_DEFAULT = 37

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

        * PYPACKAGE = python36

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.
==========================================================================
=> Tool dependency checkperms>=1.1: found checkperms-1.12
=> Build dependency cwrappers>=20150314: found cwrappers-20180325
=> Full dependency python36>=3.6.0: found python36-3.6.10nb2
=> Full dependency z3>=4.8.3: found z3-4.8.3nb1
===> Overriding tools for py36-z3-4.8.3
===> Extracting for py36-z3-4.8.3
===> Patching for py36-z3-4.8.3
=> Applying pkgsrc patches for py36-z3-4.8.3
=> Verifying /data/pkgsrc/math/py-z3/../../math/z3/patches/patch-scripts_mk__util.py
=> Applying pkgsrc patch /data/pkgsrc/math/py-z3/../../math/z3/patches/patch-scripts_mk__util.py
Hmm...  Looks like a unified diff to me...
The text leading up to this was:
--------------------------
|$NetBSD: patch-scripts_mk__util.py,v 1.5 2018/12/18 06:46:39 kamil Exp $
|
|--- scripts/mk_util.py.orig	2018-12-15 09:28:53.381588998 +0000
|+++ scripts/mk_util.py
--------------------------
Patching file scripts/mk_util.py using Plan A...
Hunk #1 succeeded at 2001.
Hunk #2 succeeded at 2694.
Hunk #3 succeeded at 2823.
done
===> Creating toolchain wrappers for py36-z3-4.8.3
===> Configuring for py36-z3-4.8.3
=> Checking for portability problems in extracted files
opt = --python, 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
Traceback (most recent call last):
  File "/data/scratch/math/py-z3/work/z3-z3-4.8.3/scripts/mk_genfile_common.py", line 700, in mk_install_tactic_cpp_internal
    for line in fin:
  File "/usr/pkg/lib/python3.6/encodings/ascii.py", line 26, in decode
    return codecs.ascii_decode(input, self.errors)[0]
UnicodeDecodeError: 'ascii' codec can't decode byte 0xe2 in position 1809: ordinal not in range(128)

During handling of the above exception, another exception occurred:

Traceback (most recent call last):
  File "scripts/mk_make.py", line 17, in <module>
    mk_auto_src()
  File "/data/scratch/math/py-z3/work/z3-z3-4.8.3/scripts/mk_util.py", line 2947, in mk_auto_src
    mk_all_install_tactic_cpps()
  File "/data/scratch/math/py-z3/work/z3-z3-4.8.3/scripts/mk_util.py", line 3066, in mk_all_install_tactic_cpps
    mk_install_tactic_cpp(cnames, c.src_dir)
  File "/data/scratch/math/py-z3/work/z3-z3-4.8.3/scripts/mk_util.py", line 3055, in mk_install_tactic_cpp
    generated_file = mk_genfile_common.mk_install_tactic_cpp_internal(h_files_full_path, path)
  File "/data/scratch/math/py-z3/work/z3-z3-4.8.3/scripts/mk_genfile_common.py", line 721, in mk_install_tactic_cpp_internal
    except e:
UnboundLocalError: local variable 'e' referenced before assignment
*** Error code 1

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

Stop.
make: stopped in /data/pkgsrc/math/py-z3