>>> Building on exopi-3 under math/py-pysmt BDEPENDS = [lang/python/3;devel/py-build;devel/py-setuptools;devel/py-installer;devel/py-wheel] DIST = [math/py-pysmt:PySMT-0.9.5.tar.gz] FULLPKGNAME = py3-PySMT-0.9.5p2 RDEPENDS = [lang/python/3] (Junk lock obtained for exopi-3 at 1735135972.51) >>> Running depends in math/py-pysmt at 1735135972.56 last junk was in devel/py-straight.plugin /usr/sbin/pkg_add -aI -Drepair py3-build-1.2.2.post1p0 py3-installer-0.7.0p1 py3-setuptools-69.5.1p0v0 py3-wheel-0.45.1p0 python-3.12.8p0 was: /usr/sbin/pkg_add -aI -Drepair py3-build-1.2.2.post1p0 py3-installer-0.7.0p1 py3-setuptools-69.5.1p0v0 py3-wheel-0.45.1p0 python-3.12.8p0 /usr/sbin/pkg_add -aI -Drepair py3-build-1.2.2.post1p0 py3-installer-0.7.0p1 py3-setuptools-69.5.1p0v0 py3-wheel-0.45.1p0 python-3.12.8p0 >>> Running show-prepare-results in math/py-pysmt at 1735135974.76 ===> math/py-pysmt ===> Building from scratch py3-PySMT-0.9.5p2 ===> py3-PySMT-0.9.5p2 depends on: python->=3.12,<3.13 -> python-3.12.8p0 ===> py3-PySMT-0.9.5p2 depends on: py3-build-* -> py3-build-1.2.2.post1p0 ===> py3-PySMT-0.9.5p2 depends on: py3-installer-* -> py3-installer-0.7.0p1 ===> py3-PySMT-0.9.5p2 depends on: py3-setuptools-* -> py3-setuptools-69.5.1p0v0 ===> py3-PySMT-0.9.5p2 depends on: py3-wheel-* -> py3-wheel-0.45.1p0 py3-build-1.2.2.post1p0 py3-installer-0.7.0p1 py3-setuptools-69.5.1p0v0 py3-wheel-0.45.1p0 python-3.12.8p0 (Junk lock released for exopi-3 at 1735135975.71) distfiles size=259220 >>> Running build in math/py-pysmt at 1735135975.75 ===> math/py-pysmt ===> Checking files for py3-PySMT-0.9.5p2 `/exopi-cvs/ports/distfiles/PySMT-0.9.5.tar.gz' is up to date. >> (SHA256) all files: OK ===> Extracting for py3-PySMT-0.9.5p2 ===> Patching for py3-PySMT-0.9.5p2 ===> Compiler link: clang -> /usr/bin/clang ===> Compiler link: clang++ -> /usr/bin/clang++ ===> Compiler link: cc -> /usr/bin/cc ===> Compiler link: c++ -> /usr/bin/c++ ===> Generating configure for py3-PySMT-0.9.5p2 ===> Configuring for py3-PySMT-0.9.5p2 ===> Building for py3-PySMT-0.9.5p2 * Getting build dependencies for wheel... running egg_info writing PySMT.egg-info/PKG-INFO writing dependency_links to PySMT.egg-info/dependency_links.txt writing entry points to PySMT.egg-info/entry_points.txt writing top-level names to PySMT.egg-info/top_level.txt reading manifest file 'PySMT.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' adding license file 'LICENSE' writing manifest file 'PySMT.egg-info/SOURCES.txt' * Building wheel... running bdist_wheel running build running build_py creating build creating build/lib creating build/lib/pysmt copying pysmt/__init__.py -> build/lib/pysmt copying pysmt/__main__.py -> build/lib/pysmt copying pysmt/configuration.py -> build/lib/pysmt copying pysmt/constants.py -> build/lib/pysmt copying pysmt/decorators.py -> build/lib/pysmt copying pysmt/environment.py -> build/lib/pysmt copying pysmt/exceptions.py -> build/lib/pysmt copying pysmt/factory.py -> build/lib/pysmt copying pysmt/fnode.py -> build/lib/pysmt copying pysmt/formula.py -> build/lib/pysmt copying pysmt/logics.py -> build/lib/pysmt copying pysmt/operators.py -> build/lib/pysmt copying pysmt/oracles.py -> build/lib/pysmt copying pysmt/parsing.py -> build/lib/pysmt copying pysmt/printers.py -> build/lib/pysmt copying pysmt/rewritings.py -> build/lib/pysmt copying pysmt/shortcuts.py -> build/lib/pysmt copying pysmt/simplifier.py -> build/lib/pysmt copying pysmt/substituter.py -> build/lib/pysmt copying pysmt/type_checker.py -> build/lib/pysmt copying pysmt/typing.py -> build/lib/pysmt copying pysmt/utils.py -> build/lib/pysmt creating build/lib/pysmt/cmd copying pysmt/cmd/__init__.py -> build/lib/pysmt/cmd copying pysmt/cmd/check_version.py -> build/lib/pysmt/cmd copying pysmt/cmd/install.py -> build/lib/pysmt/cmd copying pysmt/cmd/shell.py -> build/lib/pysmt/cmd creating build/lib/pysmt/smtlib copying pysmt/smtlib/__init__.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/annotations.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/commands.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/printers.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/script.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/solver.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/utils.py -> build/lib/pysmt/smtlib creating build/lib/pysmt/solvers copying pysmt/solvers/__init__.py -> build/lib/pysmt/solvers copying pysmt/solvers/bdd.py -> build/lib/pysmt/solvers copying pysmt/solvers/btor.py -> build/lib/pysmt/solvers copying pysmt/solvers/cvc4.py -> build/lib/pysmt/solvers copying pysmt/solvers/eager.py -> build/lib/pysmt/solvers copying pysmt/solvers/interpolation.py -> build/lib/pysmt/solvers copying pysmt/solvers/msat.py -> build/lib/pysmt/solvers copying pysmt/solvers/options.py -> build/lib/pysmt/solvers copying pysmt/solvers/pico.py -> build/lib/pysmt/solvers copying pysmt/solvers/portfolio.py -> build/lib/pysmt/solvers copying pysmt/solvers/qelim.py -> build/lib/pysmt/solvers copying pysmt/solvers/smtlib.py -> build/lib/pysmt/solvers copying pysmt/solvers/solver.py -> build/lib/pysmt/solvers copying pysmt/solvers/yices.py -> build/lib/pysmt/solvers copying pysmt/solvers/z3.py -> build/lib/pysmt/solvers creating build/lib/pysmt/test copying pysmt/test/__init__.py -> build/lib/pysmt/test copying pysmt/test/examples.py -> build/lib/pysmt/test copying pysmt/test/test_array.py -> build/lib/pysmt/test copying pysmt/test/test_back.py -> build/lib/pysmt/test copying pysmt/test/test_bdd.py -> build/lib/pysmt/test copying pysmt/test/test_bv.py -> build/lib/pysmt/test copying pysmt/test/test_bv_simplification.py -> build/lib/pysmt/test copying pysmt/test/test_cnf.py -> build/lib/pysmt/test copying pysmt/test/test_configuration.py -> build/lib/pysmt/test copying pysmt/test/test_constants.py -> build/lib/pysmt/test copying pysmt/test/test_cvc4_quantifiers.py -> build/lib/pysmt/test copying pysmt/test/test_dwf.py -> build/lib/pysmt/test copying pysmt/test/test_eager_model.py -> build/lib/pysmt/test copying pysmt/test/test_env.py -> build/lib/pysmt/test copying pysmt/test/test_euf.py -> build/lib/pysmt/test copying pysmt/test/test_formula.py -> build/lib/pysmt/test copying pysmt/test/test_hr_parsing.py -> build/lib/pysmt/test copying pysmt/test/test_imports.py -> build/lib/pysmt/test copying pysmt/test/test_int.py -> build/lib/pysmt/test copying pysmt/test/test_interpolation.py -> build/lib/pysmt/test copying pysmt/test/test_lira.py -> build/lib/pysmt/test copying pysmt/test/test_logics.py -> build/lib/pysmt/test copying pysmt/test/test_models.py -> build/lib/pysmt/test copying pysmt/test/test_native_qe.py -> build/lib/pysmt/test copying pysmt/test/test_nia.py -> build/lib/pysmt/test copying pysmt/test/test_nlira.py -> build/lib/pysmt/test copying pysmt/test/test_oracles.py -> build/lib/pysmt/test copying pysmt/test/test_portfolio.py -> build/lib/pysmt/test copying pysmt/test/test_printing.py -> build/lib/pysmt/test copying pysmt/test/test_qe.py -> build/lib/pysmt/test copying pysmt/test/test_regressions.py -> build/lib/pysmt/test copying pysmt/test/test_rewritings.py -> build/lib/pysmt/test copying pysmt/test/test_shannon_expansion.py -> build/lib/pysmt/test copying pysmt/test/test_simplify.py -> build/lib/pysmt/test copying pysmt/test/test_size.py -> build/lib/pysmt/test copying pysmt/test/test_solving.py -> build/lib/pysmt/test copying pysmt/test/test_sorts.py -> build/lib/pysmt/test copying pysmt/test/test_string.py -> build/lib/pysmt/test copying pysmt/test/test_typechecker.py -> build/lib/pysmt/test copying pysmt/test/test_unsat_cores.py -> build/lib/pysmt/test copying pysmt/test/test_walker_ext.py -> build/lib/pysmt/test copying pysmt/test/test_walkers.py -> build/lib/pysmt/test creating build/lib/pysmt/walkers copying pysmt/walkers/__init__.py -> build/lib/pysmt/walkers copying pysmt/walkers/dag.py -> build/lib/pysmt/walkers copying pysmt/walkers/generic.py -> build/lib/pysmt/walkers copying pysmt/walkers/identitydag.py -> build/lib/pysmt/walkers copying pysmt/walkers/tree.py -> build/lib/pysmt/walkers creating build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/__init__.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/base.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/bdd.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/btor.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/cvc4.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/msat.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/pico.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/yices.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/z3.py -> build/lib/pysmt/cmd/installers creating build/lib/pysmt/smtlib/parser copying pysmt/smtlib/parser/__init__.py -> build/lib/pysmt/smtlib/parser copying pysmt/smtlib/parser/parser.py -> build/lib/pysmt/smtlib/parser creating build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/__init__.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/parser_utils.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_annotations.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_fuzzed.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_generic_wrapper.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_griggio.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_model_validation.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_examples.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_extensibility.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_lra.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_arrays.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_lia.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_lira.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_lra.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_nia.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_nra.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_uf.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_ufbv.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_type_error.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_smtlibscript.py -> build/lib/pysmt/test/smtlib running egg_info writing PySMT.egg-info/PKG-INFO writing dependency_links to PySMT.egg-info/dependency_links.txt writing entry points to PySMT.egg-info/entry_points.txt writing top-level names to PySMT.egg-info/top_level.txt reading manifest file 'PySMT.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' adding license file 'LICENSE' writing manifest file 'PySMT.egg-info/SOURCES.txt' installing to build/bdist.openbsd-7.6-amd64/wheel running install running install_lib creating build/bdist.openbsd-7.6-amd64 creating build/bdist.openbsd-7.6-amd64/wheel creating build/bdist.openbsd-7.6-amd64/wheel/pysmt copying build/lib/pysmt/__init__.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt copying build/lib/pysmt/__main__.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt copying build/lib/pysmt/configuration.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt copying build/lib/pysmt/constants.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt copying build/lib/pysmt/decorators.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt copying build/lib/pysmt/environment.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt copying build/lib/pysmt/exceptions.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt copying build/lib/pysmt/factory.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt copying build/lib/pysmt/fnode.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt copying build/lib/pysmt/formula.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt copying build/lib/pysmt/logics.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt copying build/lib/pysmt/operators.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt copying build/lib/pysmt/oracles.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt copying build/lib/pysmt/parsing.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt copying build/lib/pysmt/printers.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt copying build/lib/pysmt/rewritings.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt copying build/lib/pysmt/shortcuts.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt copying build/lib/pysmt/simplifier.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt copying build/lib/pysmt/substituter.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt copying build/lib/pysmt/type_checker.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt copying build/lib/pysmt/typing.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt copying build/lib/pysmt/utils.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt creating build/bdist.openbsd-7.6-amd64/wheel/pysmt/cmd copying build/lib/pysmt/cmd/__init__.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/cmd copying build/lib/pysmt/cmd/check_version.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/cmd copying build/lib/pysmt/cmd/install.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/cmd copying build/lib/pysmt/cmd/shell.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/cmd creating build/bdist.openbsd-7.6-amd64/wheel/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/__init__.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/base.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/bdd.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/btor.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/cvc4.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/msat.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/pico.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/yices.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/z3.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/cmd/installers creating build/bdist.openbsd-7.6-amd64/wheel/pysmt/smtlib copying build/lib/pysmt/smtlib/__init__.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/smtlib copying build/lib/pysmt/smtlib/annotations.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/smtlib copying build/lib/pysmt/smtlib/commands.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/smtlib copying build/lib/pysmt/smtlib/printers.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/smtlib copying build/lib/pysmt/smtlib/script.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/smtlib copying build/lib/pysmt/smtlib/solver.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/smtlib copying build/lib/pysmt/smtlib/utils.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/smtlib creating build/bdist.openbsd-7.6-amd64/wheel/pysmt/smtlib/parser copying build/lib/pysmt/smtlib/parser/__init__.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/smtlib/parser copying build/lib/pysmt/smtlib/parser/parser.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/smtlib/parser creating build/bdist.openbsd-7.6-amd64/wheel/pysmt/solvers copying build/lib/pysmt/solvers/__init__.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/solvers copying build/lib/pysmt/solvers/bdd.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/solvers copying build/lib/pysmt/solvers/btor.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/solvers copying build/lib/pysmt/solvers/cvc4.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/solvers copying build/lib/pysmt/solvers/eager.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/solvers copying build/lib/pysmt/solvers/interpolation.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/solvers copying build/lib/pysmt/solvers/msat.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/solvers copying build/lib/pysmt/solvers/options.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/solvers copying build/lib/pysmt/solvers/pico.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/solvers copying build/lib/pysmt/solvers/portfolio.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/solvers copying build/lib/pysmt/solvers/qelim.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/solvers copying build/lib/pysmt/solvers/smtlib.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/solvers copying build/lib/pysmt/solvers/solver.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/solvers copying build/lib/pysmt/solvers/yices.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/solvers copying build/lib/pysmt/solvers/z3.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/solvers creating build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/__init__.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/examples.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_array.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_back.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_bdd.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_bv.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_bv_simplification.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_cnf.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_configuration.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_constants.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_cvc4_quantifiers.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_dwf.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_eager_model.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_env.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_euf.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_formula.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_hr_parsing.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_imports.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_int.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_lira.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_interpolation.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_logics.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_models.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_native_qe.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_nia.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_nlira.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_oracles.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_portfolio.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_printing.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_qe.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_regressions.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_rewritings.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_shannon_expansion.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_simplify.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_size.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_solving.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_sorts.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_string.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_typechecker.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test creating build/bdist.openbsd-7.6-amd64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/__init__.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/parser_utils.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_annotations.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_fuzzed.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_generic_wrapper.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_griggio.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_model_validation.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_examples.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_extensibility.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_lra.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_arrays.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_lia.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_lira.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_lra.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_nia.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_nra.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_uf.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_ufbv.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_type_error.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_smtlibscript.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/test_unsat_cores.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_walker_ext.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test copying build/lib/pysmt/test/test_walkers.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/test creating build/bdist.openbsd-7.6-amd64/wheel/pysmt/walkers copying build/lib/pysmt/walkers/__init__.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/walkers copying build/lib/pysmt/walkers/dag.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/walkers copying build/lib/pysmt/walkers/generic.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/walkers copying build/lib/pysmt/walkers/identitydag.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/walkers copying build/lib/pysmt/walkers/tree.py -> build/bdist.openbsd-7.6-amd64/wheel/pysmt/walkers running install_egg_info Copying PySMT.egg-info to build/bdist.openbsd-7.6-amd64/wheel/PySMT-0.9.5-py3.12.egg-info running install_scripts creating build/bdist.openbsd-7.6-amd64/wheel/PySMT-0.9.5.dist-info/WHEEL creating '/exopi-obj/pobj/py-PySMT-0.9.5/PySMT-0.9.5/dist/.tmp-gzrv2o7e/PySMT-0.9.5-py3-none-any.whl' and adding 'build/bdist.openbsd-7.6-amd64/wheel' to it adding 'pysmt/__init__.py' adding 'pysmt/__main__.py' adding 'pysmt/configuration.py' adding 'pysmt/constants.py' adding 'pysmt/decorators.py' adding 'pysmt/environment.py' adding 'pysmt/exceptions.py' adding 'pysmt/factory.py' adding 'pysmt/fnode.py' adding 'pysmt/formula.py' adding 'pysmt/logics.py' adding 'pysmt/operators.py' adding 'pysmt/oracles.py' adding 'pysmt/parsing.py' adding 'pysmt/printers.py' adding 'pysmt/rewritings.py' adding 'pysmt/shortcuts.py' adding 'pysmt/simplifier.py' adding 'pysmt/substituter.py' adding 'pysmt/type_checker.py' adding 'pysmt/typing.py' adding 'pysmt/utils.py' adding 'pysmt/cmd/__init__.py' adding 'pysmt/cmd/check_version.py' adding 'pysmt/cmd/install.py' adding 'pysmt/cmd/shell.py' adding 'pysmt/cmd/installers/__init__.py' adding 'pysmt/cmd/installers/base.py' adding 'pysmt/cmd/installers/bdd.py' adding 'pysmt/cmd/installers/btor.py' adding 'pysmt/cmd/installers/cvc4.py' adding 'pysmt/cmd/installers/msat.py' adding 'pysmt/cmd/installers/pico.py' adding 'pysmt/cmd/installers/yices.py' adding 'pysmt/cmd/installers/z3.py' adding 'pysmt/smtlib/__init__.py' adding 'pysmt/smtlib/annotations.py' adding 'pysmt/smtlib/commands.py' adding 'pysmt/smtlib/printers.py' adding 'pysmt/smtlib/script.py' adding 'pysmt/smtlib/solver.py' adding 'pysmt/smtlib/utils.py' adding 'pysmt/smtlib/parser/__init__.py' adding 'pysmt/smtlib/parser/parser.py' adding 'pysmt/solvers/__init__.py' adding 'pysmt/solvers/bdd.py' adding 'pysmt/solvers/btor.py' adding 'pysmt/solvers/cvc4.py' adding 'pysmt/solvers/eager.py' adding 'pysmt/solvers/interpolation.py' adding 'pysmt/solvers/msat.py' adding 'pysmt/solvers/options.py' adding 'pysmt/solvers/pico.py' adding 'pysmt/solvers/portfolio.py' adding 'pysmt/solvers/qelim.py' adding 'pysmt/solvers/smtlib.py' adding 'pysmt/solvers/solver.py' adding 'pysmt/solvers/yices.py' adding 'pysmt/solvers/z3.py' adding 'pysmt/test/__init__.py' adding 'pysmt/test/examples.py' adding 'pysmt/test/test_array.py' adding 'pysmt/test/test_back.py' adding 'pysmt/test/test_bdd.py' adding 'pysmt/test/test_bv.py' adding 'pysmt/test/test_bv_simplification.py' adding 'pysmt/test/test_cnf.py' adding 'pysmt/test/test_configuration.py' adding 'pysmt/test/test_constants.py' adding 'pysmt/test/test_cvc4_quantifiers.py' adding 'pysmt/test/test_dwf.py' adding 'pysmt/test/test_eager_model.py' adding 'pysmt/test/test_env.py' adding 'pysmt/test/test_euf.py' adding 'pysmt/test/test_formula.py' adding 'pysmt/test/test_hr_parsing.py' adding 'pysmt/test/test_imports.py' adding 'pysmt/test/test_int.py' adding 'pysmt/test/test_interpolation.py' adding 'pysmt/test/test_lira.py' adding 'pysmt/test/test_logics.py' adding 'pysmt/test/test_models.py' adding 'pysmt/test/test_native_qe.py' adding 'pysmt/test/test_nia.py' adding 'pysmt/test/test_nlira.py' adding 'pysmt/test/test_oracles.py' adding 'pysmt/test/test_portfolio.py' adding 'pysmt/test/test_printing.py' adding 'pysmt/test/test_qe.py' adding 'pysmt/test/test_regressions.py' adding 'pysmt/test/test_rewritings.py' adding 'pysmt/test/test_shannon_expansion.py' adding 'pysmt/test/test_simplify.py' adding 'pysmt/test/test_size.py' adding 'pysmt/test/test_solving.py' adding 'pysmt/test/test_sorts.py' adding 'pysmt/test/test_string.py' adding 'pysmt/test/test_typechecker.py' adding 'pysmt/test/test_unsat_cores.py' adding 'pysmt/test/test_walker_ext.py' adding 'pysmt/test/test_walkers.py' adding 'pysmt/test/smtlib/__init__.py' adding 'pysmt/test/smtlib/parser_utils.py' adding 'pysmt/test/smtlib/test_annotations.py' adding 'pysmt/test/smtlib/test_fuzzed.py' adding 'pysmt/test/smtlib/test_generic_wrapper.py' adding 'pysmt/test/smtlib/test_griggio.py' adding 'pysmt/test/smtlib/test_model_validation.py' adding 'pysmt/test/smtlib/test_parser_examples.py' adding 'pysmt/test/smtlib/test_parser_extensibility.py' adding 'pysmt/test/smtlib/test_parser_lra.py' adding 'pysmt/test/smtlib/test_parser_qf_arrays.py' adding 'pysmt/test/smtlib/test_parser_qf_lia.py' adding 'pysmt/test/smtlib/test_parser_qf_lira.py' adding 'pysmt/test/smtlib/test_parser_qf_lra.py' adding 'pysmt/test/smtlib/test_parser_qf_nia.py' adding 'pysmt/test/smtlib/test_parser_qf_nra.py' adding 'pysmt/test/smtlib/test_parser_qf_uf.py' adding 'pysmt/test/smtlib/test_parser_qf_ufbv.py' adding 'pysmt/test/smtlib/test_parser_type_error.py' adding 'pysmt/test/smtlib/test_smtlibscript.py' adding 'pysmt/walkers/__init__.py' adding 'pysmt/walkers/dag.py' adding 'pysmt/walkers/generic.py' adding 'pysmt/walkers/identitydag.py' adding 'pysmt/walkers/tree.py' adding 'PySMT-0.9.5.dist-info/LICENSE' adding 'PySMT-0.9.5.dist-info/METADATA' adding 'PySMT-0.9.5.dist-info/WHEEL' adding 'PySMT-0.9.5.dist-info/entry_points.txt' adding 'PySMT-0.9.5.dist-info/top_level.txt' adding 'PySMT-0.9.5.dist-info/RECORD' removing build/bdist.openbsd-7.6-amd64/wheel Successfully built PySMT-0.9.5-py3-none-any.whl >>> Running package in math/py-pysmt at 1735135977.89 ===> math/py-pysmt ===> Faking installation for py3-PySMT-0.9.5p2 /usr/local/lib/python3.12/site-packages/pysmt/cmd/installers/btor.py:96: SyntaxWarning: invalid escape sequence '\(' /usr/local/lib/python3.12/site-packages/pysmt/cmd/installers/btor.py:96: SyntaxWarning: invalid escape sequence '\(' /exopi-obj/pobj/py-PySMT-0.9.5/bin/install -d -m 755 /exopi-obj/pobj/py-PySMT-0.9.5/fake-amd64/usr/local/share/doc/py3-pysmt/ /exopi-obj/pobj/py-PySMT-0.9.5/bin/install -c -m 644 /exopi-obj/pobj/py-PySMT-0.9.5/PySMT-0.9.5/README.rst /exopi-obj/pobj/py-PySMT-0.9.5/fake-amd64/usr/local/share/doc/py3-pysmt/ ===> Building package for py3-PySMT-0.9.5p2 Create /exopi-cvs/ports/packages/amd64/all/py3-PySMT-0.9.5p2.tgz Creating package py3-PySMT-0.9.5p2 reading plist| checking dependencies| checking dependencies|lang/python/3,-main checksumming| checksumming| | 0% checksumming| | 1% checksumming|* | 1% checksumming|* | 2% checksumming|** | 3% checksumming|** | 4% checksumming|*** | 4% checksumming|*** | 5% checksumming|*** | 6% checksumming|**** | 6% checksumming|**** | 7% checksumming|***** | 7% checksumming|***** | 8% checksumming|***** | 9% checksumming|****** | 9% checksumming|****** | 10% checksumming|****** | 11% checksumming|******* | 11% checksumming|******* | 12% checksumming|******** | 13% checksumming|******** | 14% checksumming|********* | 14% checksumming|********* | 15% checksumming|********** | 16% checksumming|********** | 17% checksumming|*********** | 17% checksumming|*********** | 18% checksumming|*********** | 19% checksumming|************ | 19% checksumming|************ | 20% checksumming|************* | 21% checksumming|************* | 22% checksumming|************** | 22% checksumming|************** | 23% checksumming|************** | 24% checksumming|*************** | 24% checksumming|*************** | 25% checksumming|**************** | 25% checksumming|**************** | 26% checksumming|**************** | 27% checksumming|***************** | 27% checksumming|***************** | 28% checksumming|***************** | 29% checksumming|****************** | 29% checksumming|****************** | 30% checksumming|******************* | 31% checksumming|******************* | 32% checksumming|******************** | 32% checksumming|******************** | 33% checksumming|********************* | 34% checksumming|********************* | 35% checksumming|********************** | 35% checksumming|********************** | 36% checksumming|********************** | 37% checksumming|*********************** | 37% checksumming|*********************** | 38% checksumming|************************ | 39% checksumming|************************ | 40% checksumming|************************* | 40% checksumming|************************* | 41% checksumming|************************* | 42% checksumming|************************** | 42% checksumming|************************** | 43% checksumming|*************************** | 44% checksumming|*************************** | 45% checksumming|**************************** | 45% checksumming|**************************** | 46% checksumming|**************************** | 47% checksumming|***************************** | 47% checksumming|***************************** | 48% checksumming|****************************** | 49% checksumming|****************************** | 50% checksumming|******************************* | 50% checksumming|******************************* | 51% checksumming|******************************** | 52% checksumming|******************************** | 53% checksumming|********************************* | 53% checksumming|********************************* | 54% checksumming|********************************* | 55% checksumming|********************************** | 55% checksumming|********************************** | 56% checksumming|*********************************** | 57% checksumming|*********************************** | 58% checksumming|************************************ | 58% checksumming|************************************ | 59% checksumming|************************************ | 60% checksumming|************************************* | 60% checksumming|************************************* | 61% checksumming|************************************** | 62% checksumming|************************************** | 63% checksumming|*************************************** | 63% checksumming|*************************************** | 64% checksumming|*************************************** | 65% checksumming|**************************************** | 65% checksumming|**************************************** | 66% checksumming|***************************************** | 67% checksumming|***************************************** | 68% checksumming|****************************************** | 68% checksumming|****************************************** | 69% checksumming|******************************************* | 70% checksumming|******************************************* | 71% checksumming|******************************************** | 71% checksumming|******************************************** | 72% checksumming|******************************************** | 73% checksumming|********************************************* | 73% checksumming|********************************************* | 74% checksumming|********************************************* | 75% checksumming|********************************************** | 75% checksumming|********************************************** | 76% checksumming|*********************************************** | 76% checksumming|*********************************************** | 77% checksumming|*********************************************** | 78% checksumming|************************************************ | 78% checksumming|************************************************ | 79% checksumming|************************************************* | 80% checksumming|************************************************* | 81% checksumming|************************************************** | 81% checksumming|************************************************** | 82% checksumming|************************************************** | 83% checksumming|*************************************************** | 83% checksumming|*************************************************** | 84% checksumming|**************************************************** | 85% checksumming|**************************************************** | 86% checksumming|***************************************************** | 86% checksumming|***************************************************** | 87% checksumming|***************************************************** | 88% checksumming|****************************************************** | 88% checksumming|****************************************************** | 89% checksumming|******************************************************* | 89% checksumming|******************************************************* | 90% checksumming|******************************************************* | 91% checksumming|******************************************************** | 91% checksumming|******************************************************** | 92% checksumming|******************************************************** | 93% checksumming|********************************************************* | 93% checksumming|********************************************************* | 94% checksumming|********************************************************** | 94% checksumming|********************************************************** | 95% checksumming|********************************************************** | 96% checksumming|*********************************************************** | 96% checksumming|*********************************************************** | 97% checksumming|************************************************************ | 98% checksumming|************************************************************ | 99% checksumming|*************************************************************| 99% checksumming|*************************************************************|100% archiving| archiving| | 0% archiving| | 1% archiving|* | 1% archiving|* | 2% archiving|** | 2% archiving|** | 3% archiving|*** | 5% archiving|**** | 6% archiving|**** | 7% archiving|***** | 7% archiving|***** | 8% archiving|****** | 9% archiving|****** | 10% archiving|******* | 11% archiving|******** | 12% archiving|******** | 13% archiving|********* | 14% archiving|********** | 15% archiving|********** | 16% archiving|*********** | 17% archiving|************ | 19% archiving|************* | 20% archiving|************* | 21% archiving|************** | 21% archiving|************** | 22% archiving|*************** | 23% archiving|*************** | 24% archiving|**************** | 24% archiving|**************** | 25% archiving|***************** | 26% archiving|***************** | 27% archiving|****************** | 27% archiving|****************** | 28% archiving|******************* | 29% archiving|******************** | 31% archiving|******************** | 32% archiving|********************* | 32% archiving|********************* | 33% archiving|********************** | 34% archiving|********************** | 35% archiving|************************ | 37% archiving|************************* | 39% archiving|************************* | 40% archiving|************************** | 40% archiving|************************** | 41% archiving|*************************** | 42% archiving|**************************** | 43% archiving|***************************** | 45% archiving|***************************** | 46% archiving|****************************** | 46% archiving|****************************** | 47% archiving|******************************* | 48% archiving|******************************* | 49% archiving|******************************** | 50% archiving|******************************** | 51% archiving|********************************* | 51% archiving|********************************* | 52% archiving|********************************** | 52% archiving|********************************** | 53% archiving|*********************************** | 55% archiving|************************************ | 56% archiving|************************************ | 57% archiving|************************************* | 57% archiving|************************************* | 58% archiving|************************************* | 59% archiving|************************************** | 59% archiving|************************************** | 60% archiving|*************************************** | 60% archiving|*************************************** | 61% archiving|**************************************** | 62% archiving|**************************************** | 63% archiving|***************************************** | 63% archiving|***************************************** | 64% archiving|****************************************** | 65% archiving|****************************************** | 66% archiving|******************************************* | 67% archiving|******************************************* | 68% archiving|******************************************** | 68% archiving|******************************************** | 69% archiving|********************************************* | 70% archiving|********************************************* | 71% archiving|********************************************** | 71% archiving|********************************************** | 72% archiving|********************************************** | 73% archiving|*********************************************** | 73% archiving|*********************************************** | 74% archiving|************************************************ | 74% archiving|************************************************ | 75% archiving|************************************************ | 76% archiving|************************************************* | 76% archiving|************************************************* | 77% archiving|************************************************** | 78% archiving|************************************************** | 79% archiving|*************************************************** | 79% archiving|*************************************************** | 80% archiving|**************************************************** | 81% archiving|***************************************************** | 82% archiving|***************************************************** | 83% archiving|****************************************************** | 84% archiving|****************************************************** | 85% archiving|******************************************************* | 86% archiving|******************************************************** | 87% archiving|******************************************************** | 88% archiving|********************************************************* | 89% archiving|********************************************************** | 90% archiving|********************************************************** | 91% archiving|*********************************************************** | 91% archiving|*********************************************************** | 92% archiving|*********************************************************** | 93% archiving|************************************************************ | 93% archiving|************************************************************ | 94% archiving|************************************************************* | 95% archiving|************************************************************* | 96% archiving|************************************************************** | 96% archiving|************************************************************** | 97% archiving|*************************************************************** | 98% archiving|*************************************************************** | 99% archiving|****************************************************************| 99% archiving|****************************************************************|100% Link to /exopi-cvs/ports/packages/amd64/ftp/py3-PySMT-0.9.5p2.tgz >>> Running clean in math/py-pysmt at 1735135981.28 ===> math/py-pysmt ===> Cleaning for py3-PySMT-0.9.5p2 >>> Ended at 1735135981.62 max_stuck=1.98/depends=2.15/show-prepare-results=1.05/build=2.13/package=3.39/clean=0.38