=> Bootstrap dependency digest>=20211023: found digest-20220214 => Checksum BLAKE2s OK for z3-solver-4.8.9.0.tar.gz => Checksum SHA512 OK for z3-solver-4.8.9.0.tar.gz ===> Installing dependencies for py39-z3solver-4.8.9.0nb2 ========================================================================== The following variables will affect the build process of this package, py39-z3solver-4.8.9.0nb2. Their current value is shown below: * PYTHON_VERSION_DEFAULT = 310 Based on these variables, the following variables have been set: * PYPACKAGE = python39 You may want to abort the process now with CTRL-C and change the value of variables in the first group before continuing. Be sure to run `/usr/bin/make clean' after the changes. ========================================================================== => Tool dependency py39-setuptools-[0-9]*: found py39-setuptools-67.3.3 => Tool dependency mktools-[0-9]*: found mktools-20220614 => Tool dependency bsdtar-[0-9]*: found bsdtar-3.4.3 => Tool dependency cwrappers>=20150314: found cwrappers-20220403 => Tool dependency checkperms>=1.1: found checkperms-1.12 => Full dependency py39-setuptools-[0-9]*: found py39-setuptools-67.3.3 => Full dependency python39>=3.9.0: found python39-3.9.16 ===> 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 py39-z3solver-4.8.9.0nb2 ===> Extracting for py39-z3solver-4.8.9.0nb2 ===> Patching for py39-z3solver-4.8.9.0nb2 => Applying pkgsrc patches for py39-z3solver-4.8.9.0nb2 => Verifying /usr/pkgsrc/math/py-z3solver/patches/patch-core_scripts_mk__util.py => Applying pkgsrc patch /usr/pkgsrc/math/py-z3solver/patches/patch-core_scripts_mk__util.py Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-core_scripts_mk__util.py,v 1.3 2022/05/09 09:08:27 jperkin Exp $ | |Try to at least use sensible defaults on unknown platforms. | |--- core/scripts/mk_util.py.orig 2020-09-11 00:52:41.000000000 +0000 |+++ core/scripts/mk_util.py -------------------------- Patching file core/scripts/mk_util.py using Plan A... Hunk #1 succeeded at 1263. Hunk #2 succeeded at 2526. done => Verifying /usr/pkgsrc/math/py-z3solver/patches/patch-core_src_ast_value__generator.cpp => Applying pkgsrc patch /usr/pkgsrc/math/py-z3solver/patches/patch-core_src_ast_value__generator.cpp Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-core_src_ast_value__generator.cpp,v 1.1 2022/05/09 09:08:27 jperkin Exp $ | |Avoid ambiguous function calls. | |--- core/src/ast/value_generator.cpp.orig 2020-09-11 00:52:41.000000000 +0000 |+++ core/src/ast/value_generator.cpp -------------------------- Patching file core/src/ast/value_generator.cpp using Plan A... Hunk #1 succeeded at 23. done => Verifying /usr/pkgsrc/math/py-z3solver/patches/patch-core_src_sat_sat__lookahead.cpp => Applying pkgsrc patch /usr/pkgsrc/math/py-z3solver/patches/patch-core_src_sat_sat__lookahead.cpp Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-core_src_sat_sat__lookahead.cpp,v 1.1 2022/05/09 09:08:27 jperkin Exp $ | |Avoid ambiguous function calls. | |--- core/src/sat/sat_lookahead.cpp.orig 2020-09-11 00:52:41.000000000 +0000 |+++ core/src/sat/sat_lookahead.cpp -------------------------- Patching file core/src/sat/sat_lookahead.cpp using Plan A... Hunk #1 succeeded at 26. done => Verifying /usr/pkgsrc/math/py-z3solver/patches/patch-core_src_sat_sat__solver.cpp => Applying pkgsrc patch /usr/pkgsrc/math/py-z3solver/patches/patch-core_src_sat_sat__solver.cpp Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-core_src_sat_sat__solver.cpp,v 1.1 2022/05/09 09:08:27 jperkin Exp $ | |Avoid ambiguous function calls. | |--- core/src/sat/sat_solver.cpp.orig 2020-09-11 00:52:41.000000000 +0000 |+++ core/src/sat/sat_solver.cpp -------------------------- Patching file core/src/sat/sat_solver.cpp using Plan A... Hunk #1 succeeded at 40. done => Verifying /usr/pkgsrc/math/py-z3solver/patches/patch-core_src_sat_smt_ba__solver.cpp => Applying pkgsrc patch /usr/pkgsrc/math/py-z3solver/patches/patch-core_src_sat_smt_ba__solver.cpp Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-core_src_sat_smt_ba__solver.cpp,v 1.1 2022/05/09 09:08:27 jperkin Exp $ | |Avoid ambiguous function calls. | |--- core/src/sat/smt/ba_solver.cpp.orig 2020-09-11 00:52:41.000000000 +0000 |+++ core/src/sat/smt/ba_solver.cpp -------------------------- Patching file core/src/sat/smt/ba_solver.cpp using Plan A... Hunk #1 succeeded at 23. done => Verifying /usr/pkgsrc/math/py-z3solver/patches/patch-core_src_smt_smt__lookahead.cpp => Applying pkgsrc patch /usr/pkgsrc/math/py-z3solver/patches/patch-core_src_smt_smt__lookahead.cpp Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-core_src_smt_smt__lookahead.cpp,v 1.1 2022/05/09 09:08:27 jperkin Exp $ | |Avoid ambiguous function calls. | |--- core/src/smt/smt_lookahead.cpp.orig 2020-09-11 00:52:41.000000000 +0000 |+++ core/src/smt/smt_lookahead.cpp -------------------------- Patching file core/src/smt/smt_lookahead.cpp using Plan A... Hunk #1 succeeded at 23. done => Verifying /usr/pkgsrc/math/py-z3solver/patches/patch-core_src_solver_parallel__tactic.cpp => Applying pkgsrc patch /usr/pkgsrc/math/py-z3solver/patches/patch-core_src_solver_parallel__tactic.cpp Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-core_src_solver_parallel__tactic.cpp,v 1.1 2022/05/09 09:08:27 jperkin Exp $ | |Avoid ambiguous function calls. | |--- core/src/solver/parallel_tactic.cpp.orig 2020-09-11 00:52:41.000000000 +0000 |+++ core/src/solver/parallel_tactic.cpp -------------------------- Patching file core/src/solver/parallel_tactic.cpp using Plan A... Hunk #1 succeeded at 52. done ===> Creating toolchain wrappers for py39-z3solver-4.8.9.0nb2 ===> Configuring for py39-z3solver-4.8.9.0nb2 => Checking for portability problems in extracted files