=>> Building math/py-pysmt build started at Tue Jul 7 12:14:29 JST 2026 port directory: /usr/ports/math/py-pysmt package name: py312-pysmt-0.9.6_1 building for: FreeBSD s15amd64-setuptools2-job-02 15.1-STABLE FreeBSD 15.1-STABLE 1501501 amd64 maintained by: 0mp@FreeBSD.org Makefile datestamp: -rw-r--r-- 1 root wheel 661 Apr 13 23:06 /usr/ports/math/py-pysmt/Makefile Ports top last git commit: 18628b9022c9c1c0e7cb5e71c2aa1e1e563ca34a Ports top unclean checkout: yes Port dir last git commit: 1c3394560c4f3b7e3e79480f17b767e3a58bd951 Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.8 Host OSVERSION: 1501501 Jail OSVERSION: 1501501 Job Id: 02 ---Begin Environment--- SHELL=/bin/sh OSVERSION=1501501 UNAME_v=FreeBSD 15.1-STABLE 1501501 UNAME_r=15.1-STABLE 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.8 MASTERMNT=/usr/local/poudriere/data/.m/s15amd64-setuptools2/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/s15amd64-setuptools2/02/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=s15amd64-setuptools2 SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/s15amd64-setuptools2/ref/.p/pool POUDRIERE_PKGNAME=poudriere-git-3.4.8 SCRIPTPATH=/usr/local/share/poudriere/bulk.sh POUDRIEREPATH=/usr/local/bin/poudriere ---End Environment--- ---Begin Poudriere Port Flags/Env--- PORT_FLAGS= PKGENV= FLAVOR=py312 MAKE_ARGS= FLAVOR=py312 ---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.12" XDG_DATA_HOME=/wrkdirs/usr/ports/math/py-pysmt/work-py312 XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/py-pysmt/work-py312 XDG_CACHE_HOME=/wrkdirs/usr/ports/math/py-pysmt/work-py312/.cache HOME=/wrkdirs/usr/ports/math/py-pysmt/work-py312 TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/py-pysmt/work-py312/.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-py312/.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-py312 XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/py-pysmt/work-py312 XDG_CACHE_HOME=/wrkdirs/usr/ports/math/py-pysmt/work-py312/.cache HOME=/wrkdirs/usr/ports/math/py-pysmt/work-py312 TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/py-pysmt/work-py312/.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-py312/.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.12 PYTHON_LIBDIR=lib/python3.12 PYTHON_PLATFORM=freebsd15 PYTHON_SITELIBDIR=lib/python3.12/site-packages PYTHON_SUFFIX=312 PYTHON_BASESUFFIX=312 PYTHON_TAG=.cpython-312 PYTHON_SOABI=.cpython-312 PYTHON_VER=3.12 PYTHON_BASEVER=3.12 PYTHON_VERSION=python3.12 PYTHON2="@comment " PYTHON3="" OSREL=15.1 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/py312-pysmt" EXAMPLESDIR="share/examples/py312-pysmt" DATADIR="share/py312-pysmt" WWWDIR="www/py312-pysmt" ETCDIR="etc/py312-pysmt" --End PLIST_SUB-- --SUB_LIST-- PYTHON_INCLUDEDIR=/usr/local/include/python3.12 PYTHON_LIBDIR=/usr/local/lib/python3.12 PYTHON_PLATFORM=freebsd15 PYTHON_SITELIBDIR=/usr/local/lib/python3.12/site-packages PYTHON_SUFFIX=312 PYTHON_BASESUFFIX=312 PYTHON_TAG=.cpython-312 PYTHON_SOABI=.cpython-312 PYTHON_VER=3.12 PYTHON_BASEVER=3.12 PYTHON_VERSION=python3.12 PYTHON2="@comment " PYTHON3="" PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/py312-pysmt DOCSDIR=/usr/local/share/doc/py312-pysmt EXAMPLESDIR=/usr/local/share/examples/py312-pysmt WWWDIR=/usr/local/www/py312-pysmt ETCDIR=/usr/local/etc/py312-pysmt --End SUB_LIST-- ---Begin make.conf--- USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles OVERLAYS+=/overlays/overlay_setuptools FORCE_PACKAGE=yes PACKAGE_BUILDING=yes PACKAGE_BUILDING_FLAVORS=yes #### #### LICENSES_ACCEPTED= EULA ISC MPEG2ENC DEFAULT_VERSIONS+= magick=7 DEFAULT_VERSIONS+= pgsql=18 DEFAULT_VERSIONS+= samba=4.23 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= INPUTMETHOD GAMMA LAYERSHELL SCREENCOPY VIRTUALINPUT X11 .if $(.CURDIR:M*/x11-wm/hikari) WITH_DEBUG= YES .endif #### #### devel_gamin_set= LIBINOTIFY #### 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) 89999 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 (kbytes, -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 ===> py312-pysmt-0.9.6_1 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-2.7.5.pkg [s15amd64-setuptools2-job-02] Installing pkg-2.7.5... [s15amd64-setuptools2-job-02] Extracting pkg-2.7.5: .......... done ===> py312-pysmt-0.9.6_1 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of py312-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 7825 kBps 01s ===> Fetching all distfiles required by py312-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 py312-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 py312-pysmt-0.9.6_1 for building ===> Extracting for py312-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 py312-pysmt-0.9.6_1 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> py312-pysmt-0.9.6_1 depends on package: py312-setuptools>=63.1.0 - not found ===> Installing existing package /packages/All/py312-setuptools-81.0.0.pkg [s15amd64-setuptools2-job-02] Installing py312-setuptools-81.0.0... [s15amd64-setuptools2-job-02] `-- Installing py312-more-itertools-11.1.0... [s15amd64-setuptools2-job-02] | `-- Installing python312-3.12.13_3... [s15amd64-setuptools2-job-02] | | `-- Installing expat-2.8.2... [s15amd64-setuptools2-job-02] | | `-- Extracting expat-2.8.2: .......... done [s15amd64-setuptools2-job-02] | | `-- Installing gettext-runtime-1.0_1... [s15amd64-setuptools2-job-02] | | `-- Installing indexinfo-0.3.1_1... [s15amd64-setuptools2-job-02] | | `-- Extracting indexinfo-0.3.1_1: .... done [s15amd64-setuptools2-job-02] | | `-- Extracting gettext-runtime-1.0_1: .......... done [s15amd64-setuptools2-job-02] | | `-- Installing libffi-3.6.0... [s15amd64-setuptools2-job-02] | | `-- Extracting libffi-3.6.0: .......... done [s15amd64-setuptools2-job-02] | | `-- Installing mpdecimal-4.0.1... [s15amd64-setuptools2-job-02] | | `-- Extracting mpdecimal-4.0.1: .......... done [s15amd64-setuptools2-job-02] | | `-- Installing openssl-3.0.21,1... [s15amd64-setuptools2-job-02] | | `-- Extracting openssl-3.0.21,1: .......... done [s15amd64-setuptools2-job-02] | | `-- Installing readline-8.3.3... [s15amd64-setuptools2-job-02] | | `-- Extracting readline-8.3.3: .......... done [s15amd64-setuptools2-job-02] | `-- Extracting python312-3.12.13_3: .......... done [s15amd64-setuptools2-job-02] `-- Extracting py312-more-itertools-11.1.0: .......... done [s15amd64-setuptools2-job-02] `-- Installing py312-packaging-26.2... [s15amd64-setuptools2-job-02] `-- Extracting py312-packaging-26.2: .......... done [s15amd64-setuptools2-job-02] `-- Installing py312-wheel-0.47.0... [s15amd64-setuptools2-job-02] `-- Extracting py312-wheel-0.47.0: .......... done [s15amd64-setuptools2-job-02] Extracting py312-setuptools-81.0.0: .......... done ===== Message from openssl-3.0.21,1: -- This port (security/openssl) will update from 3.0 to 3.5 per 2026-07-01 (2026Q3) in anticipation of the End-of-Life of OpenSSL 3.0. A new port (security/openssl30) will be created for the remainder of the lifespan of OpenSSL 3.0 and FreeBSD 14. See: https://openssl-library.org/roadmap/index.html ===== Message from python312-3.12.13_3: -- Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: py312-gdbm databases/py-gdbm@py312 py312-sqlite3 databases/py-sqlite3@py312 py312-tkinter x11-toolkits/py-tkinter@py312 ===> py312-pysmt-0.9.6_1 depends on package: py312-setuptools>=63.1.0 - found ===> Returning to build of py312-pysmt-0.9.6_1 ===> py312-pysmt-0.9.6_1 depends on file: /usr/local/bin/python3.12 - 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 py312-pysmt-0.9.6_1 running config =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=nobody UID=65534 GID=65534 ===> Building for py312-pysmt-0.9.6_1 running build running build_py creating build/lib/pysmt copying pysmt/decorators.py -> build/lib/pysmt copying pysmt/parsing.py -> build/lib/pysmt copying pysmt/__main__.py -> build/lib/pysmt copying pysmt/__init__.py -> build/lib/pysmt copying pysmt/rewritings.py -> build/lib/pysmt copying pysmt/substituter.py -> build/lib/pysmt copying pysmt/operators.py -> build/lib/pysmt copying pysmt/type_checker.py -> build/lib/pysmt copying pysmt/printers.py -> build/lib/pysmt copying pysmt/simplifier.py -> build/lib/pysmt copying pysmt/typing.py -> build/lib/pysmt copying pysmt/formula.py -> build/lib/pysmt copying pysmt/configuration.py -> build/lib/pysmt copying pysmt/shortcuts.py -> build/lib/pysmt copying pysmt/environment.py -> build/lib/pysmt copying pysmt/constants.py -> build/lib/pysmt copying pysmt/fnode.py -> build/lib/pysmt copying pysmt/utils.py -> build/lib/pysmt copying pysmt/exceptions.py -> build/lib/pysmt copying pysmt/logics.py -> build/lib/pysmt copying pysmt/oracles.py -> build/lib/pysmt copying pysmt/factory.py -> build/lib/pysmt creating build/lib/pysmt/solvers copying pysmt/solvers/bdd.py -> build/lib/pysmt/solvers copying pysmt/solvers/msat.py -> build/lib/pysmt/solvers copying pysmt/solvers/cvcfour.py -> build/lib/pysmt/solvers copying pysmt/solvers/cvcfive.py -> build/lib/pysmt/solvers copying pysmt/solvers/qelim.py -> build/lib/pysmt/solvers copying pysmt/solvers/__init__.py -> build/lib/pysmt/solvers copying pysmt/solvers/portfolio.py -> build/lib/pysmt/solvers copying pysmt/solvers/options.py -> build/lib/pysmt/solvers copying pysmt/solvers/btor.py -> build/lib/pysmt/solvers copying pysmt/solvers/yices.py -> build/lib/pysmt/solvers copying pysmt/solvers/z3.py -> build/lib/pysmt/solvers copying pysmt/solvers/solver.py -> build/lib/pysmt/solvers copying pysmt/solvers/eager.py -> build/lib/pysmt/solvers copying pysmt/solvers/smtlib.py -> build/lib/pysmt/solvers copying pysmt/solvers/pico.py -> build/lib/pysmt/solvers copying pysmt/solvers/interpolation.py -> build/lib/pysmt/solvers creating build/lib/pysmt/smtlib copying pysmt/smtlib/annotations.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/__init__.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/cmd copying pysmt/cmd/shell.py -> build/lib/pysmt/cmd copying pysmt/cmd/check_version.py -> build/lib/pysmt/cmd copying pysmt/cmd/__init__.py -> build/lib/pysmt/cmd copying pysmt/cmd/install.py -> build/lib/pysmt/cmd creating build/lib/pysmt/test copying pysmt/test/test_size.py -> build/lib/pysmt/test copying pysmt/test/test_portfolio.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_bv.py -> build/lib/pysmt/test copying pysmt/test/test_string.py -> build/lib/pysmt/test copying pysmt/test/test_solving.py -> build/lib/pysmt/test copying pysmt/test/test_typechecker.py -> build/lib/pysmt/test copying pysmt/test/test_walkers.py -> build/lib/pysmt/test copying pysmt/test/test_interpolation.py -> build/lib/pysmt/test copying pysmt/test/test_bv_simplification.py -> build/lib/pysmt/test copying pysmt/test/test_rewritings.py -> build/lib/pysmt/test copying pysmt/test/test_configuration.py -> build/lib/pysmt/test copying pysmt/test/__init__.py -> build/lib/pysmt/test copying pysmt/test/test_env.py -> build/lib/pysmt/test copying pysmt/test/test_lira.py -> build/lib/pysmt/test copying pysmt/test/test_int.py -> build/lib/pysmt/test copying pysmt/test/test_walker_ext.py -> build/lib/pysmt/test copying pysmt/test/test_unsat_cores.py -> build/lib/pysmt/test copying pysmt/test/test_constants.py -> build/lib/pysmt/test copying pysmt/test/test_shannon_expansion.py -> build/lib/pysmt/test copying pysmt/test/test_oracles.py -> build/lib/pysmt/test copying pysmt/test/test_logics.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_imports.py -> build/lib/pysmt/test copying pysmt/test/test_sorts.py -> build/lib/pysmt/test copying pysmt/test/test_back.py -> build/lib/pysmt/test copying pysmt/test/test_models.py -> build/lib/pysmt/test copying pysmt/test/test_eager_model.py -> build/lib/pysmt/test copying pysmt/test/test_bdd.py -> build/lib/pysmt/test copying pysmt/test/test_dwf.py -> build/lib/pysmt/test copying pysmt/test/test_cnf.py -> build/lib/pysmt/test copying pysmt/test/test_nlira.py -> build/lib/pysmt/test copying pysmt/test/test_simplify.py -> build/lib/pysmt/test copying pysmt/test/test_native_qe.py -> build/lib/pysmt/test copying pysmt/test/test_array.py -> build/lib/pysmt/test copying pysmt/test/test_cvc_quantifiers.py -> build/lib/pysmt/test copying pysmt/test/test_nia.py -> build/lib/pysmt/test copying pysmt/test/test_hr_parsing.py -> build/lib/pysmt/test copying pysmt/test/examples.py -> build/lib/pysmt/test copying pysmt/test/test_printing.py -> build/lib/pysmt/test creating build/lib/pysmt/walkers copying pysmt/walkers/tree.py -> build/lib/pysmt/walkers copying pysmt/walkers/generic.py -> build/lib/pysmt/walkers copying pysmt/walkers/__init__.py -> build/lib/pysmt/walkers copying pysmt/walkers/identitydag.py -> build/lib/pysmt/walkers copying pysmt/walkers/dag.py -> build/lib/pysmt/walkers 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/cmd/installers copying pysmt/cmd/installers/bdd.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/msat.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/cvcfour.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/cvcfive.py -> 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/btor.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 copying pysmt/cmd/installers/pico.py -> build/lib/pysmt/cmd/installers creating build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_arrays.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_smtlibscript.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_griggio.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_examples.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_annotations.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_uf.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/__init__.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_lra.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/parser_utils.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_type_error.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_fuzzed.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_qf_nia.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_generic_wrapper.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_ufbv.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_extensibility.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.12/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 ===> py312-pysmt-0.9.6_1 depends on package: py312-six>=0 - not found ===> Installing existing package /packages/All/py312-six-1.17.0.pkg [s15amd64-setuptools2-job-02] Installing py312-six-1.17.0... [s15amd64-setuptools2-job-02] Extracting py312-six-1.17.0: .......... done ===> py312-pysmt-0.9.6_1 depends on package: py312-six>=0 - found ===> Returning to build of py312-pysmt-0.9.6_1 ===> py312-pysmt-0.9.6_1 depends on file: /usr/local/bin/python3.12 - found =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=nobody UID=65534 GID=65534 ===> Staging for py312-pysmt-0.9.6_1 ===> Generating temporary packing list running install /usr/local/lib/python3.12/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.12/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-py312/stage/usr/local/lib/python3.12/site-packages creating /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt copying build/lib/pysmt/decorators.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt copying build/lib/pysmt/parsing.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt copying build/lib/pysmt/__main__.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt copying build/lib/pysmt/__init__.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt copying build/lib/pysmt/rewritings.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt creating /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/bdd.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/msat.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/cvcfour.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/cvcfive.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/qelim.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/__init__.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/portfolio.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/options.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/btor.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/yices.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/z3.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/solver.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/eager.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/smtlib.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/pico.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/interpolation.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/solvers copying build/lib/pysmt/substituter.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt copying build/lib/pysmt/operators.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt copying build/lib/pysmt/type_checker.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt copying build/lib/pysmt/printers.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt creating /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/annotations.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/__init__.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/commands.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/printers.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/smtlib creating /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/smtlib/parser copying build/lib/pysmt/smtlib/parser/__init__.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/smtlib/parser copying build/lib/pysmt/smtlib/parser/parser.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/smtlib/parser copying build/lib/pysmt/smtlib/script.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/solver.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/utils.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/smtlib copying build/lib/pysmt/simplifier.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt copying build/lib/pysmt/typing.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt copying build/lib/pysmt/formula.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt copying build/lib/pysmt/configuration.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt copying build/lib/pysmt/shortcuts.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt copying build/lib/pysmt/environment.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt copying build/lib/pysmt/constants.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt copying build/lib/pysmt/fnode.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt copying build/lib/pysmt/utils.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt creating /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/cmd copying build/lib/pysmt/cmd/shell.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/cmd copying build/lib/pysmt/cmd/check_version.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/cmd copying build/lib/pysmt/cmd/__init__.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/cmd copying build/lib/pysmt/cmd/install.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/cmd creating /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/bdd.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/msat.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/cvcfour.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/cvcfive.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/__init__.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/base.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/btor.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/yices.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/z3.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/pico.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/cmd/installers copying build/lib/pysmt/exceptions.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt copying build/lib/pysmt/logics.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt creating /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_size.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_portfolio.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_qe.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_regressions.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_bv.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_string.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_solving.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_typechecker.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_walkers.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_interpolation.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_bv_simplification.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_rewritings.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_configuration.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/__init__.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_env.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_lira.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_int.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test creating /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_arrays.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_smtlibscript.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_nra.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_griggio.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_examples.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_annotations.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_uf.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/__init__.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_lra.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_lra.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/parser_utils.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_lira.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_type_error.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_fuzzed.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_model_validation.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_nia.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_generic_wrapper.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_lia.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_ufbv.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_extensibility.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib creating /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/configs copying build/lib/pysmt/test/configs/config1.ini -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/configs copying build/lib/pysmt/test/configs/config_bad.ini -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/configs copying build/lib/pysmt/test/test_walker_ext.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_unsat_cores.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_constants.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_shannon_expansion.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_oracles.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_logics.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_euf.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_formula.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_imports.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_sorts.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_back.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_models.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_eager_model.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_bdd.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_dwf.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_cnf.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_nlira.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_simplify.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_native_qe.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_array.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_cvc_quantifiers.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_nia.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_hr_parsing.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/examples.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/test/test_printing.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test copying build/lib/pysmt/oracles.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt copying build/lib/pysmt/factory.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt creating /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/walkers copying build/lib/pysmt/walkers/tree.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/walkers copying build/lib/pysmt/walkers/generic.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/walkers copying build/lib/pysmt/walkers/__init__.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/walkers copying build/lib/pysmt/walkers/identitydag.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/walkers copying build/lib/pysmt/walkers/dag.py -> /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/walkers byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/decorators.py to decorators.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/parsing.py to parsing.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/__main__.py to __main__.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/__init__.py to __init__.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/rewritings.py to rewritings.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/solvers/bdd.py to bdd.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/solvers/msat.py to msat.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/solvers/cvcfour.py to cvcfour.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/solvers/cvcfive.py to cvcfive.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/solvers/qelim.py to qelim.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/solvers/__init__.py to __init__.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/solvers/portfolio.py to portfolio.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/solvers/options.py to options.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/solvers/btor.py to btor.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/solvers/yices.py to yices.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/solvers/z3.py to z3.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/solvers/solver.py to solver.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/solvers/eager.py to eager.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/solvers/smtlib.py to smtlib.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/solvers/pico.py to pico.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/solvers/interpolation.py to interpolation.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/substituter.py to substituter.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/operators.py to operators.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/type_checker.py to type_checker.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/printers.py to printers.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/smtlib/annotations.py to annotations.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/smtlib/__init__.py to __init__.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/smtlib/commands.py to commands.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/smtlib/printers.py to printers.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/smtlib/parser/__init__.py to __init__.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/smtlib/parser/parser.py to parser.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/smtlib/script.py to script.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/smtlib/solver.py to solver.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/smtlib/utils.py to utils.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/simplifier.py to simplifier.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/typing.py to typing.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/formula.py to formula.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/configuration.py to configuration.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/shortcuts.py to shortcuts.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/environment.py to environment.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/constants.py to constants.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/fnode.py to fnode.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/utils.py to utils.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/cmd/shell.py to shell.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/cmd/check_version.py to check_version.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/cmd/__init__.py to __init__.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/cmd/install.py to install.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/cmd/installers/bdd.py to bdd.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/cmd/installers/msat.py to msat.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/cmd/installers/cvcfour.py to cvcfour.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/cmd/installers/cvcfive.py to cvcfive.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/cmd/installers/__init__.py to __init__.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/cmd/installers/base.py to base.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/cmd/installers/btor.py to btor.cpython-312.pyc /usr/local/lib/python3.12/site-packages/pysmt/cmd/installers/btor.py:97: SyntaxWarning: invalid escape sequence '\(' byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/cmd/installers/yices.py to yices.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/cmd/installers/z3.py to z3.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/cmd/installers/pico.py to pico.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/exceptions.py to exceptions.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/logics.py to logics.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_size.py to test_size.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_portfolio.py to test_portfolio.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_qe.py to test_qe.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_regressions.py to test_regressions.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_bv.py to test_bv.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_string.py to test_string.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_solving.py to test_solving.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_typechecker.py to test_typechecker.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_walkers.py to test_walkers.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_interpolation.py to test_interpolation.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_bv_simplification.py to test_bv_simplification.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_rewritings.py to test_rewritings.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_configuration.py to test_configuration.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/__init__.py to __init__.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_env.py to test_env.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_lira.py to test_lira.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_int.py to test_int.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib/test_parser_qf_arrays.py to test_parser_qf_arrays.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib/test_smtlibscript.py to test_smtlibscript.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib/test_parser_qf_nra.py to test_parser_qf_nra.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib/test_griggio.py to test_griggio.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib/test_parser_examples.py to test_parser_examples.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib/test_annotations.py to test_annotations.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib/test_parser_qf_uf.py to test_parser_qf_uf.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib/__init__.py to __init__.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib/test_parser_lra.py to test_parser_lra.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib/test_parser_qf_lra.py to test_parser_qf_lra.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib/parser_utils.py to parser_utils.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib/test_parser_qf_lira.py to test_parser_qf_lira.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib/test_parser_type_error.py to test_parser_type_error.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib/test_fuzzed.py to test_fuzzed.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib/test_model_validation.py to test_model_validation.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib/test_parser_qf_nia.py to test_parser_qf_nia.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib/test_generic_wrapper.py to test_generic_wrapper.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib/test_parser_qf_lia.py to test_parser_qf_lia.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib/test_parser_qf_ufbv.py to test_parser_qf_ufbv.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/smtlib/test_parser_extensibility.py to test_parser_extensibility.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_walker_ext.py to test_walker_ext.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_unsat_cores.py to test_unsat_cores.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_constants.py to test_constants.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_shannon_expansion.py to test_shannon_expansion.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_oracles.py to test_oracles.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_logics.py to test_logics.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_euf.py to test_euf.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_formula.py to test_formula.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_imports.py to test_imports.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_sorts.py to test_sorts.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_back.py to test_back.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_models.py to test_models.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_eager_model.py to test_eager_model.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_bdd.py to test_bdd.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_dwf.py to test_dwf.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_cnf.py to test_cnf.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_nlira.py to test_nlira.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_simplify.py to test_simplify.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_native_qe.py to test_native_qe.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_array.py to test_array.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_cvc_quantifiers.py to test_cvc_quantifiers.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_nia.py to test_nia.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_hr_parsing.py to test_hr_parsing.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/examples.py to examples.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/test/test_printing.py to test_printing.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/oracles.py to oracles.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/factory.py to factory.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/walkers/tree.py to tree.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/walkers/generic.py to generic.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/walkers/__init__.py to __init__.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/walkers/identitydag.py to identitydag.cpython-312.pyc byte-compiling /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/pysmt/walkers/dag.py to dag.cpython-312.pyc writing byte-compilation script '/tmp/tmpk648x861.py' /usr/local/bin/python3.12 /tmp/tmpk648x861.py /usr/local/lib/python3.12/site-packages/pysmt/cmd/installers/btor.py:97: SyntaxWarning: invalid escape sequence '\(' removing /tmp/tmpk648x861.py running install_egg_info Copying PySMT.egg-info to /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/lib/python3.12/site-packages/PySMT-0.9.6-py3.12.egg-info running install_scripts Installing pysmt-install script to /wrkdirs/usr/ports/math/py-pysmt/work-py312/stage/usr/local/bin writing list of installed files to '/wrkdirs/usr/ports/math/py-pysmt/work-py312/.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.12 Link: @bin/pysmt-install --> bin/pysmt-install-3.12 ====> 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-07-07T03:14:29+0000' 'PKG_NOTE_ports_top_git_hash=18628b9022c9c1c0e7cb5e71c2aa1e1e563ca34a' 'PKG_NOTE_ports_top_checkout_unclean=yes' 'PKG_NOTE_port_git_hash=1c3394560c4f3b7e3e79480f17b767e3a58bd951' 'PKG_NOTE_port_checkout_unclean=no' 'PKG_NOTE_built_by=poudriere-git-3.4.8' NO_DEPENDS=yes USER=nobody UID=65534 GID=65534 ===> Building packages for py312-pysmt-0.9.6_1 ===> Building py312-pysmt-0.9.6_1 =========================================================================== =>> Cleaning up wrkdir ===> Cleaning for py312-pysmt-0.9.6_1 build of math/py-pysmt@py312 | py312-pysmt-0.9.6_1 ended at Tue Jul 7 12:14:41 JST 2026 build time: 00:00:28