>>> Building on octeon-2 under math/py-pysmt BDEPENDS = [devel/py-build;devel/py-installer;devel/py-wheel;lang/python/3;devel/py-setuptools] DIST = [math/py-pysmt:pysmt-0.9.6.tar.gz] FULLPKGNAME = py3-PySMT-0.9.6 RDEPENDS = [lang/python/3] (Junk lock obtained for octeon-2 at 1772507553.88) >>> Running depends in math/py-pysmt at 1772507553.95 last junk was in devel/py-exceptiongroup /usr/sbin/pkg_add -aI -Drepair py3-build-1.4.0 py3-installer-0.7.0p2 py3-setuptools-80.9.0v0 py3-wheel-0.46.3 python-3.13.11p2 was: /usr/sbin/pkg_add -aI -Drepair py3-build-1.4.0 py3-installer-0.7.0p2 py3-setuptools-80.9.0v0 py3-wheel-0.46.3 python-3.13.11p2 /usr/sbin/pkg_add -aI -Drepair py3-build-1.4.0 py3-installer-0.7.0p2 py3-setuptools-80.9.0v0 py3-wheel-0.46.3 python-3.13.11p2 >>> Running show-prepare-results in math/py-pysmt at 1772507563.56 ===> math/py-pysmt ===> Building from scratch py3-PySMT-0.9.6 ===> py3-PySMT-0.9.6 depends on: python->=3.13,<3.14 -> python-3.13.11p2 ===> py3-PySMT-0.9.6 depends on: py3-build-* -> py3-build-1.4.0 ===> py3-PySMT-0.9.6 depends on: py3-installer-* -> py3-installer-0.7.0p2 ===> py3-PySMT-0.9.6 depends on: py3-setuptools->=79v0 -> py3-setuptools-80.9.0v0 ===> py3-PySMT-0.9.6 depends on: py3-wheel-* -> py3-wheel-0.46.3 py3-build-1.4.0 py3-installer-0.7.0p2 py3-setuptools-80.9.0v0 py3-wheel-0.46.3 python-3.13.11p2 (Junk lock released for octeon-2 at 1772507570.80) distfiles size=1141496 >>> Running extract in math/py-pysmt at 1772507570.88 ===> math/py-pysmt ===> Checking files for py3-PySMT-0.9.6 `/ports/distfiles/pysmt-0.9.6.tar.gz' is up to date. >> (SHA256) all files: OK ===> Extracting for py3-PySMT-0.9.6 >>> Running build in math/py-pysmt at 1772507573.04 ===> math/py-pysmt ===> Patching for py3-PySMT-0.9.6 ===> 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.6 ===> Configuring for py3-PySMT-0.9.6 ===> Building for py3-PySMT-0.9.6 * Getting build dependencies for wheel... running egg_info creating PySMT.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 writing manifest file 'PySMT.egg-info/SOURCES.txt' reading manifest file 'PySMT.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' adding license file 'LICENSE' adding license file 'NOTICE' writing manifest file 'PySMT.egg-info/SOURCES.txt' * Building wheel... running bdist_wheel running build running build_py 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/cvcfive.py -> build/lib/pysmt/solvers copying pysmt/solvers/cvcfour.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_cvc_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/cvcfive.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/cvcfour.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' adding license file 'NOTICE' writing manifest file 'PySMT.egg-info/SOURCES.txt' /usr/local/lib/python3.13/site-packages/setuptools/command/build_py.py:212: _Warning: Package 'pysmt.test.configs' is absent from the `packages` configuration. !! ******************************************************************************** ############################ # Package would be ignored # ############################ Python recognizes 'pysmt.test.configs' as an importable package[^1], but it is absent from setuptools' `packages` configuration. This leads to an ambiguous overall configuration. If you want to distribute this package, please make sure that 'pysmt.test.configs' is explicitly added to the `packages` configuration field. Alternatively, you can also rely on setuptools' discovery methods (for example by using `find_namespace_packages(...)`/`find_namespace:` instead of `find_packages(...)`/`find:`). You can read more about "package discovery" on setuptools documentation page: - https://setuptools.pypa.io/en/latest/userguide/package_discovery.html If you don't want 'pysmt.test.configs' to be distributed and are already explicitly excluding 'pysmt.test.configs' via `find_namespace_packages(...)/find_namespace` or `find_packages(...)/find`, you can try to use `exclude_package_data`, or `include-package-data=False` in combination with a more fine grained `package-data` configuration. You can read more about "package data files" on setuptools documentation page: - https://setuptools.pypa.io/en/latest/userguide/datafiles.html [^1]: For Python, any directory (with suitable naming) can be imported, even if it does not contain any `.py` files. On the other hand, currently there is no concept of package data directory, all directories are treated like packages. ******************************************************************************** !! check.warn(importable) creating build/lib/pysmt/test/configs copying pysmt/test/configs/config1.ini -> build/lib/pysmt/test/configs copying pysmt/test/configs/config_bad.ini -> build/lib/pysmt/test/configs installing to build/bdist.openbsd-7.8-octeon/wheel running install running install_lib creating build/bdist.openbsd-7.8-octeon/wheel creating build/bdist.openbsd-7.8-octeon/wheel/pysmt copying build/lib/pysmt/__init__.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt copying build/lib/pysmt/__main__.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt copying build/lib/pysmt/configuration.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt copying build/lib/pysmt/constants.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt copying build/lib/pysmt/decorators.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt copying build/lib/pysmt/environment.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt copying build/lib/pysmt/exceptions.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt copying build/lib/pysmt/factory.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt copying build/lib/pysmt/fnode.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt copying build/lib/pysmt/formula.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt copying build/lib/pysmt/logics.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt copying build/lib/pysmt/operators.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt copying build/lib/pysmt/oracles.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt copying build/lib/pysmt/parsing.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt copying build/lib/pysmt/printers.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt copying build/lib/pysmt/rewritings.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt copying build/lib/pysmt/shortcuts.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt copying build/lib/pysmt/simplifier.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt copying build/lib/pysmt/substituter.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt copying build/lib/pysmt/type_checker.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt copying build/lib/pysmt/typing.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt copying build/lib/pysmt/utils.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt creating build/bdist.openbsd-7.8-octeon/wheel/pysmt/cmd copying build/lib/pysmt/cmd/__init__.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/cmd copying build/lib/pysmt/cmd/check_version.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/cmd copying build/lib/pysmt/cmd/install.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/cmd copying build/lib/pysmt/cmd/shell.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/cmd creating build/bdist.openbsd-7.8-octeon/wheel/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/__init__.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/base.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/bdd.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/btor.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/cvcfive.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/cvcfour.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/msat.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/pico.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/yices.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/z3.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/cmd/installers creating build/bdist.openbsd-7.8-octeon/wheel/pysmt/smtlib copying build/lib/pysmt/smtlib/__init__.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/smtlib copying build/lib/pysmt/smtlib/annotations.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/smtlib copying build/lib/pysmt/smtlib/commands.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/smtlib copying build/lib/pysmt/smtlib/printers.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/smtlib copying build/lib/pysmt/smtlib/script.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/smtlib copying build/lib/pysmt/smtlib/solver.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/smtlib copying build/lib/pysmt/smtlib/utils.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/smtlib creating build/bdist.openbsd-7.8-octeon/wheel/pysmt/smtlib/parser copying build/lib/pysmt/smtlib/parser/__init__.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/smtlib/parser copying build/lib/pysmt/smtlib/parser/parser.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/smtlib/parser creating build/bdist.openbsd-7.8-octeon/wheel/pysmt/solvers copying build/lib/pysmt/solvers/__init__.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/solvers copying build/lib/pysmt/solvers/bdd.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/solvers copying build/lib/pysmt/solvers/btor.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/solvers copying build/lib/pysmt/solvers/cvcfive.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/solvers copying build/lib/pysmt/solvers/cvcfour.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/solvers copying build/lib/pysmt/solvers/eager.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/solvers copying build/lib/pysmt/solvers/interpolation.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/solvers copying build/lib/pysmt/solvers/msat.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/solvers copying build/lib/pysmt/solvers/options.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/solvers copying build/lib/pysmt/solvers/pico.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/solvers copying build/lib/pysmt/solvers/portfolio.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/solvers copying build/lib/pysmt/solvers/qelim.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/solvers copying build/lib/pysmt/solvers/smtlib.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/solvers copying build/lib/pysmt/solvers/solver.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/solvers copying build/lib/pysmt/solvers/yices.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/solvers copying build/lib/pysmt/solvers/z3.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/solvers creating build/bdist.openbsd-7.8-octeon/wheel/pysmt/test copying build/lib/pysmt/test/__init__.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/examples.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_array.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_back.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_bdd.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_bv.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_bv_simplification.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_cnf.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_configuration.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_constants.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_cvc_quantifiers.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_dwf.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_eager_model.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_env.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_euf.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_formula.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_hr_parsing.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_imports.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_int.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_lira.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_interpolation.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_logics.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_models.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_native_qe.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_nia.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_nlira.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_oracles.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_portfolio.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_printing.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_qe.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_regressions.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_rewritings.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_shannon_expansion.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_simplify.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_size.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_solving.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_sorts.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_string.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_typechecker.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test creating build/bdist.openbsd-7.8-octeon/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/__init__.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/parser_utils.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_annotations.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_fuzzed.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_generic_wrapper.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_griggio.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_model_validation.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_examples.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_extensibility.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_lra.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_arrays.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_lia.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_lira.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_lra.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_nia.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_nra.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_uf.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_ufbv.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_type_error.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_smtlibscript.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/test_unsat_cores.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_walker_ext.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test copying build/lib/pysmt/test/test_walkers.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test creating build/bdist.openbsd-7.8-octeon/wheel/pysmt/test/configs copying build/lib/pysmt/test/configs/config1.ini -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test/configs copying build/lib/pysmt/test/configs/config_bad.ini -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/test/configs creating build/bdist.openbsd-7.8-octeon/wheel/pysmt/walkers copying build/lib/pysmt/walkers/__init__.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/walkers copying build/lib/pysmt/walkers/dag.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/walkers copying build/lib/pysmt/walkers/generic.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/walkers copying build/lib/pysmt/walkers/identitydag.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/walkers copying build/lib/pysmt/walkers/tree.py -> build/bdist.openbsd-7.8-octeon/wheel/./pysmt/walkers running install_egg_info Copying PySMT.egg-info to build/bdist.openbsd-7.8-octeon/wheel/./PySMT-0.9.6-py3.13.egg-info running install_scripts creating build/bdist.openbsd-7.8-octeon/wheel/pysmt-0.9.6.dist-info/WHEEL creating '/pobj/py-PySMT-0.9.6/pysmt-0.9.6/dist/.tmp-kl58pg1p/pysmt-0.9.6-py3-none-any.whl' and adding 'build/bdist.openbsd-7.8-octeon/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/cvcfive.py' adding 'pysmt/cmd/installers/cvcfour.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/cvcfive.py' adding 'pysmt/solvers/cvcfour.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_cvc_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/configs/config1.ini' adding 'pysmt/test/configs/config_bad.ini' 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.6.dist-info/licenses/LICENSE' adding 'pysmt-0.9.6.dist-info/licenses/NOTICE' adding 'pysmt-0.9.6.dist-info/METADATA' adding 'pysmt-0.9.6.dist-info/WHEEL' adding 'pysmt-0.9.6.dist-info/entry_points.txt' adding 'pysmt-0.9.6.dist-info/top_level.txt' adding 'pysmt-0.9.6.dist-info/RECORD' removing build/bdist.openbsd-7.8-octeon/wheel Successfully built pysmt-0.9.6-py3-none-any.whl >>> Running package in math/py-pysmt at 1772507595.94 ===> math/py-pysmt ===> Faking installation for py3-PySMT-0.9.6 /usr/local/lib/python3.13/site-packages/pysmt/cmd/installers/btor.py:97: SyntaxWarning: invalid escape sequence '\(' /usr/local/lib/python3.13/site-packages/pysmt/cmd/installers/btor.py:97: SyntaxWarning: invalid escape sequence '\(' ===> Building package for py3-PySMT-0.9.6 Create /ports/packages/mips64/all/py3-PySMT-0.9.6.tgz Creating package py3-PySMT-0.9.6 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|******** | 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|**************** | 26% checksumming|**************** | 27% checksumming|***************** | 27% checksumming|***************** | 28% checksumming|***************** | 29% checksumming|****************** | 29% checksumming|****************** | 30% 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|****************************** | 48% checksumming|****************************** | 49% checksumming|****************************** | 50% checksumming|******************************* | 50% checksumming|******************************* | 51% checksumming|******************************* | 52% 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|******************************************* | 70% checksumming|******************************************* | 71% checksumming|******************************************** | 71% checksumming|******************************************** | 72% checksumming|******************************************** | 73% checksumming|********************************************* | 73% checksumming|********************************************* | 74% 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% Error: /pobj/py-PySMT-0.9.6/fake-mips64/usr/local/share/doc/py-pysmt/README.rst does not exist pkg_create: can't continue *** Error 1 in math/py-pysmt (/ports/infrastructure/mk/bsd.port.mk:2243 '/ports/packages/mips64/all/py3-PySMT-0.9.6.tgz': @trap "cd /ports/p...) *** Error 2 in math/py-pysmt (/ports/infrastructure/mk/bsd.port.mk:2727 '_internal-package': @case X${_DEPENDS_CACHE} in X) _DEPENDS_CACHE=...) *** Error 2 in math/py-pysmt (/ports/infrastructure/mk/bsd.port.mk:2706 'package': @lock=py3-PySMT-0.9.6; export _LOCKS_HELD=" py3-PySMT-0....) ===> Exiting math/py-pysmt with an error *** Error 1 in /ports (infrastructure/mk/bsd.port.subdir.mk:144 'package': @: ${echo_msg:=echo}; : ${target:=package}; for i in ; do eval...) >>> Ended at 1772507626.64 max_stuck=9.51/depends=9.62/show-prepare-results=7.30/extract=2.16/build=22.89/package=30.76 Error: job failed with 512 on octeon-2 at 1772507626