=>> Building math/py-pysmt build started at Thu May 21 18:45:01 JST 2026 port directory: /usr/ports/math/py-pysmt package name: py311-pysmt-0.9.6_1 building for: FreeBSD curamd64-setuptools-job-01 16.0-CURRENT FreeBSD 16.0-CURRENT 1600018 amd64 maintained by: 0mp@FreeBSD.org Makefile datestamp: -rw-r--r-- 1 root wheel 661 May 2 10:21 /usr/ports/math/py-pysmt/Makefile Ports top last git commit: a8b187544 Ports top unclean checkout: yes Port dir last git commit: a8b187544 Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.4 Host OSVERSION: 1600018 Jail OSVERSION: 1600018 Job Id: 01 ---Begin Environment--- SHELL=/bin/sh OSVERSION=1600018 UNAME_v=FreeBSD 16.0-CURRENT 1600018 UNAME_r=16.0-CURRENT BLOCKSIZE=K MAIL=/var/mail/root MM_CHARSET=UTF-8 LANG=C.UTF-8 STATUS=1 HOME=/root PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin MAKE_OBJDIR_CHECK_WRITABLE=0 LOCALBASE=/usr/local USER=root POUDRIERE_NAME=poudriere-git LIBEXECPREFIX=/usr/local/libexec/poudriere POUDRIERE_VERSION=3.4.4 MASTERMNT=/usr/local/poudriere/data/.m/curamd64-setuptools/ref LC_COLLATE=C POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM=tmux-256color GID=0 OUTPUT_REDIRECTED_STDERR=4 OUTPUT_REDIRECTED=1 UID=0 PWD=/usr/local/poudriere/data/.m/curamd64-setuptools/01/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=curamd64-setuptools SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/curamd64-setuptools/ref/.p/pool POUDRIERE_PKGNAME=poudriere-git-3.4.4 SCRIPTPATH=/usr/local/share/poudriere/bulk.sh POUDRIEREPATH=/usr/local/bin/poudriere ---End Environment--- ---Begin Poudriere Port Flags/Env--- PORT_FLAGS= PKGENV= FLAVOR=py311 MAKE_ARGS= FLAVOR=py311 ---End Poudriere Port Flags/Env--- ---Begin OPTIONS List--- ---End OPTIONS List--- --MAINTAINER-- 0mp@FreeBSD.org --End MAINTAINER-- --CONFIGURE_ARGS-- --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- PYTHON="/usr/local/bin/python3.11" XDG_DATA_HOME=/wrkdirs/usr/ports/math/py-pysmt/work-py311 XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/py-pysmt/work-py311 XDG_CACHE_HOME=/wrkdirs/usr/ports/math/py-pysmt/work-py311/.cache HOME=/wrkdirs/usr/ports/math/py-pysmt/work-py311 TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/py-pysmt/work-py311/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/py-pysmt/work-py311/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh --End CONFIGURE_ENV-- --MAKE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/math/py-pysmt/work-py311 XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/py-pysmt/work-py311 XDG_CACHE_HOME=/wrkdirs/usr/ports/math/py-pysmt/work-py311/.cache HOME=/wrkdirs/usr/ports/math/py-pysmt/work-py311 TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/py-pysmt/work-py311/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/py-pysmt/work-py311/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES LDSHARED="cc -shared" PYTHONDONTWRITEBYTECODE= PYTHONOPTIMIZE= PREFIX=/usr/local LOCALBASE=/usr/local CC="cc" CFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" --End MAKE_ENV-- --PLIST_SUB-- PYTHON_INCLUDEDIR=include/python3.11 PYTHON_LIBDIR=lib/python3.11 PYTHON_PLATFORM=freebsd16 PYTHON_SITELIBDIR=lib/python3.11/site-packages PYTHON_SUFFIX=311 PYTHON_BASESUFFIX=311 PYTHON_TAG=.cpython-311 PYTHON_SOABI=.cpython-311 PYTHON_VER=3.11 PYTHON_BASEVER=3.11 PYTHON_VERSION=python3.11 PYTHON2="@comment " PYTHON3="" OSREL=16.0 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/py311-pysmt" EXAMPLESDIR="share/examples/py311-pysmt" DATADIR="share/py311-pysmt" WWWDIR="www/py311-pysmt" ETCDIR="etc/py311-pysmt" --End PLIST_SUB-- --SUB_LIST-- PYTHON_INCLUDEDIR=/usr/local/include/python3.11 PYTHON_LIBDIR=/usr/local/lib/python3.11 PYTHON_PLATFORM=freebsd16 PYTHON_SITELIBDIR=/usr/local/lib/python3.11/site-packages PYTHON_SUFFIX=311 PYTHON_BASESUFFIX=311 PYTHON_TAG=.cpython-311 PYTHON_SOABI=.cpython-311 PYTHON_VER=3.11 PYTHON_BASEVER=3.11 PYTHON_VERSION=python3.11 PYTHON2="@comment " PYTHON3="" PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/py311-pysmt DOCSDIR=/usr/local/share/doc/py311-pysmt EXAMPLESDIR=/usr/local/share/examples/py311-pysmt WWWDIR=/usr/local/www/py311-pysmt ETCDIR=/usr/local/etc/py311-pysmt --End SUB_LIST-- ---Begin make.conf--- DEFAULT_VERSIONS+= magick=7-x11 DEFAULT_VERSIONS+= pgsql=18 DEFAULT_VERSIONS+= ssl=openssl japanese_fcitx5_mozc_SET= EDICT2 PERSONALNAME PLACENAME SUDACHIDICT UTDIC japanese_mozc_server_SET= EDICT2 PERSONALNAME PLACENAME SUDACHIDICT UTDIC japanese_mozc_server_UNSET= JAWIKI x11_wm_hikari_SET= GAMMA INPUTMETHOD LAYERSHELL SCREENCOPY VIRTUALINPUT X11 .if $(.CURDIR:M*/x11-wm/hikari) WITH_DEBUG= YES .endif USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles FORCE_PACKAGE=yes PACKAGE_BUILDING=yes PACKAGE_BUILDING_FLAVORS=yes #### #### DEFAULT_VERSIONS+= magick=7-x11 DEFAULT_VERSIONS+= pgsql=18 DEFAULT_VERSIONS+= ssl=openssl japanese_fcitx5_mozc_SET= EDICT2 PERSONALNAME PLACENAME SUDACHIDICT UTDIC japanese_mozc_server_SET= EDICT2 PERSONALNAME PLACENAME SUDACHIDICT UTDIC japanese_mozc_server_UNSET= JAWIKI x11_wm_hikari_SET= GAMMA INPUTMETHOD LAYERSHELL SCREENCOPY VIRTUALINPUT X11 .if $(.CURDIR:M*/x11-wm/hikari) WITH_DEBUG= YES .endif #### Misc Poudriere #### .include "/etc/make.conf.ports_env" DISABLE_MAKE_JOBS=poudriere ---End make.conf--- --Resource limits-- cpu time (seconds, -t) unlimited file size (512-blocks, -f) unlimited data seg size (kbytes, -d) 33554432 stack size (kbytes, -s) 524288 core file size (512-blocks, -c) unlimited max memory size (kbytes, -m) unlimited locked memory (kbytes, -l) unlimited max user processes (-u) 12099 open files (-n) 8192 virtual mem size (kbytes, -v) unlimited swap limit (kbytes, -w) unlimited socket buffer size (bytes, -b) unlimited pseudo-terminals (-p) unlimited kqueues (-k) unlimited umtx shared locks (-o) unlimited pipebuf (-y) unlimited --End resource limits-- =================================================== ===== env: NO_DEPENDS=yes USER=nobody UID=65534 GID=65534 ===> License APACHE20 accepted by the user =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> py311-pysmt-0.9.6_1 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-2.7.5.pkg [curamd64-setuptools-job-01] Installing pkg-2.7.5... [curamd64-setuptools-job-01] Extracting pkg-2.7.5: .......... done ===> py311-pysmt-0.9.6_1 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of py311-pysmt-0.9.6_1 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> License APACHE20 accepted by the user => pysmt-pysmt-v0.9.6_GH0.tar.gz doesn't seem to exist in /portdistfiles. => Attempting to fetch https://codeload.github.com/pysmt/pysmt/tar.gz/v0.9.6?dummy=/pysmt-pysmt-v0.9.6_GH0.tar.gz fetch: https://codeload.github.com/pysmt/pysmt/tar.gz/v0.9.6?dummy=/pysmt-pysmt-v0.9.6_GH0.tar.gz: size unknown fetch: https://codeload.github.com/pysmt/pysmt/tar.gz/v0.9.6?dummy=/pysmt-pysmt-v0.9.6_GH0.tar.gz: size of remote file is not known pysmt-pysmt-v0.9.6_GH0.tar.gz 1114 kB 5066 kBps 01s ===> Fetching all distfiles required by py311-pysmt-0.9.6_1 for building =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> License APACHE20 accepted by the user ===> Fetching all distfiles required by py311-pysmt-0.9.6_1 for building => SHA256 Checksum OK for pysmt-pysmt-v0.9.6_GH0.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=nobody UID=65534 GID=65534 ===> License APACHE20 accepted by the user ===> Fetching all distfiles required by py311-pysmt-0.9.6_1 for building ===> Extracting for py311-pysmt-0.9.6_1 => SHA256 Checksum OK for pysmt-pysmt-v0.9.6_GH0.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=nobody UID=65534 GID=65534 ===> Patching for py311-pysmt-0.9.6_1 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> py311-pysmt-0.9.6_1 depends on package: py311-setuptools>=63.1.0 - not found ===> Installing existing package /packages/All/py311-setuptools-81.0.0.pkg [curamd64-setuptools-job-01] Installing py311-setuptools-81.0.0... [curamd64-setuptools-job-01] `-- Installing py311-more-itertools-10.6.0... [curamd64-setuptools-job-01] | `-- Installing python311-3.11.15_2... [curamd64-setuptools-job-01] | | `-- Installing gettext-runtime-1.0... [curamd64-setuptools-job-01] | | `-- Installing indexinfo-0.3.1_1... [curamd64-setuptools-job-01] | | `-- Extracting indexinfo-0.3.1_1: .... done [curamd64-setuptools-job-01] | | `-- Extracting gettext-runtime-1.0: .......... done [curamd64-setuptools-job-01] | | `-- Installing libffi-3.5.1... [curamd64-setuptools-job-01] | | `-- Extracting libffi-3.5.1: .......... done [curamd64-setuptools-job-01] | | `-- Installing mpdecimal-4.0.1... [curamd64-setuptools-job-01] | | `-- Extracting mpdecimal-4.0.1: .......... done [curamd64-setuptools-job-01] | | `-- Installing openssl-3.0.20,1... [curamd64-setuptools-job-01] | | `-- Extracting openssl-3.0.20,1: .......... done [curamd64-setuptools-job-01] | | `-- Installing readline-8.3.3... [curamd64-setuptools-job-01] | | `-- Extracting readline-8.3.3: .......... done [curamd64-setuptools-job-01] | `-- Extracting python311-3.11.15_2: .......... done [curamd64-setuptools-job-01] `-- Extracting py311-more-itertools-10.6.0: .......... done [curamd64-setuptools-job-01] `-- Installing py311-packaging-26.2... [curamd64-setuptools-job-01] `-- Extracting py311-packaging-26.2: .......... done [curamd64-setuptools-job-01] `-- Installing py311-wheel-0.47.0... [curamd64-setuptools-job-01] `-- Extracting py311-wheel-0.47.0: .......... done [curamd64-setuptools-job-01] Extracting py311-setuptools-81.0.0: .......... done ===== Message from python311-3.11.15_2: -- Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: py311-gdbm databases/py-gdbm@py311 py311-sqlite3 databases/py-sqlite3@py311 py311-tkinter x11-toolkits/py-tkinter@py311 ===> py311-pysmt-0.9.6_1 depends on package: py311-setuptools>=63.1.0 - found ===> Returning to build of py311-pysmt-0.9.6_1 ===> py311-pysmt-0.9.6_1 depends on file: /usr/local/bin/python3.11 - found =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=nobody UID=65534 GID=65534 ===> Configuring for py311-pysmt-0.9.6_1 running config =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=nobody UID=65534 GID=65534 ===> Building for py311-pysmt-0.9.6_1 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 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' /usr/local/lib/python3.11/site-packages/setuptools/command/build_py.py:215: _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 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> py311-pysmt-0.9.6_1 depends on package: py311-six>=0 - not found ===> Installing existing package /packages/All/py311-six-1.17.0.pkg [curamd64-setuptools-job-01] Installing py311-six-1.17.0... [curamd64-setuptools-job-01] Extracting py311-six-1.17.0: .......... done ===> py311-pysmt-0.9.6_1 depends on package: py311-six>=0 - found ===> Returning to build of py311-pysmt-0.9.6_1 ===> py311-pysmt-0.9.6_1 depends on file: /usr/local/bin/python3.11 - found =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=nobody UID=65534 GID=65534 ===> Staging for py311-pysmt-0.9.6_1 ===> Generating temporary packing list running install /usr/local/lib/python3.11/site-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated. !! ******************************************************************************** Please avoid running ``setup.py`` directly. Instead, use pypa/build, pypa/installer or other standards-based tools. This deprecation is overdue, please update your project and remove deprecated calls to avoid build errors in the future. See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. ******************************************************************************** !! self.initialize_options() running build running build_py 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.11/site-packages/setuptools/command/build_py.py:215: _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) running install_lib creating /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages creating /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt copying build/lib/pysmt/__init__.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt copying build/lib/pysmt/__main__.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt copying build/lib/pysmt/configuration.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt copying build/lib/pysmt/constants.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt copying build/lib/pysmt/decorators.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt copying build/lib/pysmt/environment.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt copying build/lib/pysmt/exceptions.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt copying build/lib/pysmt/factory.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt copying build/lib/pysmt/fnode.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt copying build/lib/pysmt/formula.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt copying build/lib/pysmt/logics.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt copying build/lib/pysmt/operators.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt copying build/lib/pysmt/oracles.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt copying build/lib/pysmt/parsing.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt copying build/lib/pysmt/printers.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt copying build/lib/pysmt/rewritings.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt copying build/lib/pysmt/shortcuts.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt copying build/lib/pysmt/simplifier.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt copying build/lib/pysmt/substituter.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt copying build/lib/pysmt/type_checker.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt copying build/lib/pysmt/typing.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt copying build/lib/pysmt/utils.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt creating /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/cmd copying build/lib/pysmt/cmd/__init__.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/cmd copying build/lib/pysmt/cmd/check_version.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/cmd copying build/lib/pysmt/cmd/install.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/cmd copying build/lib/pysmt/cmd/shell.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/cmd creating /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/__init__.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/base.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/bdd.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/btor.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/cvcfive.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/cvcfour.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/msat.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/pico.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/yices.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/z3.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/cmd/installers creating /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/__init__.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/annotations.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/commands.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/printers.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/script.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/solver.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/utils.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/smtlib creating /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/smtlib/parser copying build/lib/pysmt/smtlib/parser/__init__.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/smtlib/parser copying build/lib/pysmt/smtlib/parser/parser.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/smtlib/parser creating /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/__init__.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/bdd.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/btor.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/cvcfive.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/cvcfour.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/eager.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/interpolation.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/msat.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/options.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/pico.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/portfolio.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/qelim.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/smtlib.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/solver.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/yices.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/z3.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/solvers creating /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/__init__.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/examples.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_array.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_back.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_bdd.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_bv.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_bv_simplification.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_cnf.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_configuration.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_constants.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_cvc_quantifiers.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_dwf.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_eager_model.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_env.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_euf.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_formula.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_hr_parsing.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_imports.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_int.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_lira.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_interpolation.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_logics.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_models.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_native_qe.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_nia.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_nlira.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_oracles.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_portfolio.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_printing.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_qe.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_regressions.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_rewritings.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_shannon_expansion.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_simplify.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_size.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_solving.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_sorts.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_string.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_typechecker.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test creating /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/__init__.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/parser_utils.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_annotations.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_fuzzed.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_generic_wrapper.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_griggio.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_model_validation.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_examples.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_extensibility.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_lra.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_arrays.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_lia.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_lira.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_lra.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_nia.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_nra.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_uf.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_ufbv.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_type_error.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_smtlibscript.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/test_unsat_cores.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_walker_ext.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test copying build/lib/pysmt/test/test_walkers.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test creating /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/configs copying build/lib/pysmt/test/configs/config1.ini -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/configs copying build/lib/pysmt/test/configs/config_bad.ini -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/configs creating /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/walkers copying build/lib/pysmt/walkers/__init__.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/walkers copying build/lib/pysmt/walkers/dag.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/walkers copying build/lib/pysmt/walkers/generic.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/walkers copying build/lib/pysmt/walkers/identitydag.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/walkers copying build/lib/pysmt/walkers/tree.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/walkers byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/__init__.py to __init__.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/__main__.py to __main__.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/configuration.py to configuration.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/constants.py to constants.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/decorators.py to decorators.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/environment.py to environment.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/exceptions.py to exceptions.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/factory.py to factory.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/fnode.py to fnode.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/formula.py to formula.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/logics.py to logics.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/operators.py to operators.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/oracles.py to oracles.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/parsing.py to parsing.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/printers.py to printers.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/rewritings.py to rewritings.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/shortcuts.py to shortcuts.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/simplifier.py to simplifier.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/substituter.py to substituter.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/type_checker.py to type_checker.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/typing.py to typing.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/utils.py to utils.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/cmd/__init__.py to __init__.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/cmd/check_version.py to check_version.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/cmd/install.py to install.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/cmd/shell.py to shell.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/cmd/installers/__init__.py to __init__.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/cmd/installers/base.py to base.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/cmd/installers/bdd.py to bdd.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/cmd/installers/btor.py to btor.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/cmd/installers/cvcfive.py to cvcfive.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/cmd/installers/cvcfour.py to cvcfour.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/cmd/installers/msat.py to msat.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/cmd/installers/pico.py to pico.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/cmd/installers/yices.py to yices.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/cmd/installers/z3.py to z3.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/smtlib/__init__.py to __init__.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/smtlib/annotations.py to annotations.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/smtlib/commands.py to commands.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/smtlib/printers.py to printers.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/smtlib/script.py to script.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/smtlib/solver.py to solver.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/smtlib/utils.py to utils.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/smtlib/parser/__init__.py to __init__.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/smtlib/parser/parser.py to parser.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/solvers/__init__.py to __init__.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/solvers/bdd.py to bdd.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/solvers/btor.py to btor.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/solvers/cvcfive.py to cvcfive.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/solvers/cvcfour.py to cvcfour.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/solvers/eager.py to eager.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/solvers/interpolation.py to interpolation.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/solvers/msat.py to msat.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/solvers/options.py to options.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/solvers/pico.py to pico.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/solvers/portfolio.py to portfolio.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/solvers/qelim.py to qelim.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/solvers/smtlib.py to smtlib.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/solvers/solver.py to solver.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/solvers/yices.py to yices.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/solvers/z3.py to z3.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/__init__.py to __init__.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/examples.py to examples.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_array.py to test_array.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_back.py to test_back.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_bdd.py to test_bdd.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_bv.py to test_bv.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_bv_simplification.py to test_bv_simplification.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_cnf.py to test_cnf.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_configuration.py to test_configuration.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_constants.py to test_constants.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_cvc_quantifiers.py to test_cvc_quantifiers.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_dwf.py to test_dwf.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_eager_model.py to test_eager_model.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_env.py to test_env.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_euf.py to test_euf.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_formula.py to test_formula.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_hr_parsing.py to test_hr_parsing.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_imports.py to test_imports.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_int.py to test_int.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_lira.py to test_lira.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_interpolation.py to test_interpolation.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_logics.py to test_logics.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_models.py to test_models.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_native_qe.py to test_native_qe.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_nia.py to test_nia.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_nlira.py to test_nlira.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_oracles.py to test_oracles.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_portfolio.py to test_portfolio.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_printing.py to test_printing.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_qe.py to test_qe.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_regressions.py to test_regressions.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_rewritings.py to test_rewritings.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_shannon_expansion.py to test_shannon_expansion.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_simplify.py to test_simplify.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_size.py to test_size.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_solving.py to test_solving.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_sorts.py to test_sorts.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_string.py to test_string.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_typechecker.py to test_typechecker.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib/__init__.py to __init__.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib/parser_utils.py to parser_utils.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib/test_annotations.py to test_annotations.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib/test_fuzzed.py to test_fuzzed.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib/test_generic_wrapper.py to test_generic_wrapper.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib/test_griggio.py to test_griggio.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib/test_model_validation.py to test_model_validation.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib/test_parser_examples.py to test_parser_examples.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib/test_parser_extensibility.py to test_parser_extensibility.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib/test_parser_lra.py to test_parser_lra.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib/test_parser_qf_arrays.py to test_parser_qf_arrays.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib/test_parser_qf_lia.py to test_parser_qf_lia.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib/test_parser_qf_lira.py to test_parser_qf_lira.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib/test_parser_qf_lra.py to test_parser_qf_lra.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib/test_parser_qf_nia.py to test_parser_qf_nia.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib/test_parser_qf_nra.py to test_parser_qf_nra.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib/test_parser_qf_uf.py to test_parser_qf_uf.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib/test_parser_qf_ufbv.py to test_parser_qf_ufbv.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib/test_parser_type_error.py to test_parser_type_error.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/smtlib/test_smtlibscript.py to test_smtlibscript.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_unsat_cores.py to test_unsat_cores.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_walker_ext.py to test_walker_ext.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/test/test_walkers.py to test_walkers.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/walkers/__init__.py to __init__.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/walkers/dag.py to dag.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/walkers/generic.py to generic.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/walkers/identitydag.py to identitydag.cpython-311.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/pysmt/walkers/tree.py to tree.cpython-311.pyc writing byte-compilation script '/tmp/tmpgkeyduof.py' /usr/local/bin/python3.11 /tmp/tmpgkeyduof.py removing /tmp/tmpgkeyduof.py running install_egg_info Copying PySMT.egg-info to /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/lib/python3.11/site-packages/PySMT-0.9.6-py3.11.egg-info running install_scripts Installing pysmt-install script to /wrkdirs/usr/ports/math/py-pysmt/work-py311/stage/usr/local/bin writing list of installed files to '/wrkdirs/usr/ports/math/py-pysmt/work-py311/.PLIST.pymodtmp' ===> Creating unique files: Move MAN files needing SUFFIX ===> Creating unique files: Move files needing SUFFIX Move: bin/pysmt-install --> bin/pysmt-install-3.11 Link: @bin/pysmt-install --> bin/pysmt-install-3.11 ====> Compressing man pages (compress-man) =========================================================================== =================================================== ===== env: 'PKG_NOTES=build_timestamp ports_top_git_hash ports_top_checkout_unclean port_git_hash port_checkout_unclean built_by' 'PKG_NOTE_build_timestamp=2026-05-21T09:45:01+0000' 'PKG_NOTE_ports_top_git_hash=a8b187544' 'PKG_NOTE_ports_top_checkout_unclean=yes' 'PKG_NOTE_port_git_hash=a8b187544' 'PKG_NOTE_port_checkout_unclean=no' 'PKG_NOTE_built_by=poudriere-git-3.4.4' NO_DEPENDS=yes USER=nobody UID=65534 GID=65534 ===> Building packages for py311-pysmt-0.9.6_1 ===> Building py311-pysmt-0.9.6_1 =========================================================================== =>> Cleaning up wrkdir ===> Cleaning for py311-pysmt-0.9.6_1 build of math/py-pysmt@py311 | py311-pysmt-0.9.6_1 ended at Thu May 21 18:46:28 JST 2026 build time: 00:02:19