+ case "${usergroup_phase}" in
+ local run_cmd
+ run_cmd=run_su
+ shift
+ run_su /usr/pkg/bin/bmake stage-install BATCH=1 DEPENDS_TARGET=/nonexistent PYTHON_VERSION_REQD=310 WRKLOG=/tmp/bulklog/py310-smt-0.9.5/work.log
+ su pbulk -c '"$@"' make /usr/pkg/bin/bmake stage-install BATCH=1 DEPENDS_TARGET=/nonexistent PYTHON_VERSION_REQD=310 WRKLOG=/tmp/bulklog/py310-smt-0.9.5/work.log
=> Bootstrap dependency digest>=20211023: found digest-20220214
===> Installing for py310-smt-0.9.5
=> Generating pre-install file lists
=> Creating installation directories
(cd /home/pbulk/build/math/py-smt/work/pysmt-0.9.5/ && /bin/env DESTDIR=/home/pbulk/build/math/py-smt/work/.destdir USETOOLS=no PTHREAD_CFLAGS=\ -pthread\  PTHREAD_LDFLAGS=\ -pthread PTHREAD_LIBS=-lpthread\ -lrt PTHREADBASE=/usr DL_CFLAGS= DL_LDFLAGS= DL_LIBS= PYTHON=/usr/pkg/bin/python3.10 CC=cc CFLAGS=-pipe\ -O2\ -I/usr/include\ -I/usr/pkg/include/python3.10 CPPFLAGS=-I/usr/include\ -I/usr/pkg/include/python3.10 CXX=c++ CXXFLAGS=-pipe\ -O2\ -I/usr/include\ -I/usr/pkg/include/python3.10 COMPILER_RPATH_FLAG=-Wl,-R F77=gfortran FC=gfortran FFLAGS=-O LANG=C LC_ALL=C LC_COLLATE=C LC_CTYPE=C LC_MESSAGES=C LC_MONETARY=C LC_NUMERIC=C LC_TIME=C LDFLAGS=-Wl,-zrelro\ -L/usr/lib64\ -Wl,-R/usr/lib64\ -Wl,-R/usr/pkg/lib LINKER_RPATH_FLAG=-R PATH=/home/pbulk/build/math/py-smt/work/.cwrapper/bin:/home/pbulk/build/math/py-smt/work/.buildlink/bin:/home/pbulk/build/math/py-smt/work/.gcc/bin:/home/pbulk/build/math/py-smt/work/.tools/bin:/usr/pkg/bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/pkg/bin:/usr/pkg/bin PREFIX=/usr/pkg MAKELEVEL=0 CONFIG_SITE= ftp_proxy=downloads-forbidden-except-during-fetch http_proxy=downloads-forbidden-except-during-fetch https_proxy=downloads-forbidden-except-during-fetch no_proxy= PKG_SYSCONFDIR=/usr/pkg/etc CXXCPP=cpp HOME=/home/pbulk/build/math/py-smt/work/.home CWRAPPERS_CONFIG_DIR=/home/pbulk/build/math/py-smt/work/.cwrapper/config CPP=cpp LOCALBASE=/usr/pkg X11BASE=/usr/pkg PKGMANDIR=man PKGINFODIR=info PKGGNUDIR=gnu/ MAKECONF=/dev/null OBJECT_FMT=ELF USETOOLS=no BSD_INSTALL_PROGRAM=/bin/install\ -c\ -s\ -o\ pbulk\ -g\ pbulk\ -m\ 755 BSD_INSTALL_SCRIPT=/bin/install\ -c\ -o\ pbulk\ -g\ pbulk\ -m\ 755 BSD_INSTALL_LIB=/bin/install\ -c\ -o\ pbulk\ -g\ pbulk\ -m\ 755 BSD_INSTALL_DATA=/bin/install\ -c\ -o\ pbulk\ -g\ pbulk\ -m\ 644 BSD_INSTALL_MAN=/bin/install\ -c\ -o\ pbulk\ -g\ pbulk\ -m\ 644 BSD_INSTALL=/bin/install BSD_INSTALL_PROGRAM_DIR=/bin/install\ -d\ -o\ pbulk\ -g\ pbulk\ -m\ 755 BSD_INSTALL_SCRIPT_DIR=/bin/install\ -d\ -o\ pbulk\ -g\ pbulk\ -m\ 755 BSD_INSTALL_LIB_DIR=/bin/install\ -d\ -o\ pbulk\ -g\ pbulk\ -m\ 755 BSD_INSTALL_DATA_DIR=/bin/install\ -d\ -o\ pbulk\ -g\ pbulk\ -m\ 755 BSD_INSTALL_MAN_DIR=/bin/install\ -d\ -o\ pbulk\ -g\ pbulk\ -m\ 755 BSD_INSTALL_GAME=/bin/install\ -c\ -s\ -o\ pbulk\ -g\ pbulk\ -m\ 2555 BSD_INSTALL_GAME_DATA=/bin/install\ -c\ -o\ pbulk\ -g\ pbulk\ -m\ 664 BSD_INSTALL_GAME_DIR=/bin/install\ -d\ -o\ pbulk\ -g\ pbulk\ -m\ 775 INSTALL_INFO= MAKEINFO=/home/pbulk/build/math/py-smt/work/.tools/bin/makeinfo FLEX= BISON= ITSTOOL=/home/pbulk/build/math/py-smt/work/.tools/bin/itstool GDBUS_CODEGEN=/home/pbulk/build/math/py-smt/work/.tools/bin/gdbus-codegen PKG_CONFIG=/home/pbulk/build/math/py-smt/work/.tools/bin/pkg-config PKG_CONFIG_LIBDIR=/home/pbulk/build/math/py-smt/work/.buildlink/lib64/pkgconfig:/home/pbulk/build/math/py-smt/work/.buildlink/lib/pkgconfig:/home/pbulk/build/math/py-smt/work/.buildlink/share/pkgconfig PKG_CONFIG_LOG=/home/pbulk/build/math/py-smt/work/.pkg-config.log PKG_CONFIG_PATH= CWRAPPERS_CONFIG_DIR=/home/pbulk/build/math/py-smt/work/.cwrapper/config  /usr/pkg/bin/python3.10 setup.py  "install"   -c -O1  --root=/home/pbulk/build/math/py-smt/work/.destdir)
running install
/usr/pkg/lib/python3.10/site-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
!!

        ********************************************************************************
        Please avoid running ``setup.py`` directly.
        Instead, use pypa/build, pypa/installer or other
        standards-based tools.

        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'
running install_lib
creating /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt
creating /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_shannon_expansion.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_array.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_lira.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_printing.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_walkers.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_imports.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_cnf.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_typechecker.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_walker_ext.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
creating /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_model_validation.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_griggio.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_arrays.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_ufbv.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_nia.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_uf.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_extensibility.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/parser_utils.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_generic_wrapper.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_lira.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_annotations.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_fuzzed.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_examples.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_nra.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_lra.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_smtlibscript.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_lia.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_lra.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_type_error.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/__init__.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/test_formula.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_native_qe.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_logics.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_eager_model.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_models.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_euf.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_unsat_cores.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_qe.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_oracles.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_bdd.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_nlira.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_rewritings.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_string.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_constants.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_sorts.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_cvc4_quantifiers.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_bv_simplification.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_simplify.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/examples.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_int.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_interpolation.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_nia.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_dwf.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_size.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_bv.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_hr_parsing.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_env.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_solving.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_regressions.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_back.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_portfolio.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/__init__.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/test/test_configuration.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test
copying build/lib/pysmt/shortcuts.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt
creating /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/cmd
copying build/lib/pysmt/cmd/shell.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/cmd
copying build/lib/pysmt/cmd/check_version.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/cmd
creating /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/base.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/yices.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/bdd.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/z3.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/msat.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/pico.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/btor.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/__init__.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/cvc4.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/__init__.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/cmd
copying build/lib/pysmt/cmd/install.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/cmd
copying build/lib/pysmt/configuration.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt
creating /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/walkers
copying build/lib/pysmt/walkers/dag.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/walkers
copying build/lib/pysmt/walkers/tree.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/walkers
copying build/lib/pysmt/walkers/generic.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/walkers
copying build/lib/pysmt/walkers/identitydag.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/walkers
copying build/lib/pysmt/walkers/__init__.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/walkers
copying build/lib/pysmt/factory.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt
creating /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/smtlib
copying build/lib/pysmt/smtlib/script.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/smtlib
copying build/lib/pysmt/smtlib/annotations.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/smtlib
creating /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/smtlib/parser
copying build/lib/pysmt/smtlib/parser/parser.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/smtlib/parser
copying build/lib/pysmt/smtlib/parser/__init__.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/smtlib/parser
copying build/lib/pysmt/smtlib/printers.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/smtlib
copying build/lib/pysmt/smtlib/solver.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/smtlib
copying build/lib/pysmt/smtlib/__init__.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/smtlib
copying build/lib/pysmt/smtlib/commands.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/smtlib
copying build/lib/pysmt/smtlib/utils.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/smtlib
copying build/lib/pysmt/simplifier.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt
copying build/lib/pysmt/operators.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt
copying build/lib/pysmt/environment.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt
copying build/lib/pysmt/logics.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt
copying build/lib/pysmt/formula.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt
copying build/lib/pysmt/type_checker.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt
copying build/lib/pysmt/typing.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt
copying build/lib/pysmt/exceptions.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt
copying build/lib/pysmt/printers.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt
copying build/lib/pysmt/__main__.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt
copying build/lib/pysmt/parsing.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt
copying build/lib/pysmt/decorators.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt
copying build/lib/pysmt/rewritings.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt
copying build/lib/pysmt/__init__.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt
copying build/lib/pysmt/constants.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt
copying build/lib/pysmt/oracles.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt
creating /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/smtlib.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/portfolio.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/yices.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/interpolation.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/bdd.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/eager.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/z3.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/qelim.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/msat.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/pico.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/solver.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/btor.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/options.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/__init__.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/cvc4.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/solvers
copying build/lib/pysmt/utils.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt
copying build/lib/pysmt/fnode.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt
copying build/lib/pysmt/substituter.py -> /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_shannon_expansion.py to test_shannon_expansion.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_array.py to test_array.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_lira.py to test_lira.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_printing.py to test_printing.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_walkers.py to test_walkers.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_imports.py to test_imports.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_cnf.py to test_cnf.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_typechecker.py to test_typechecker.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_walker_ext.py to test_walker_ext.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib/test_model_validation.py to test_model_validation.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib/test_griggio.py to test_griggio.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib/test_parser_qf_arrays.py to test_parser_qf_arrays.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib/test_parser_qf_ufbv.py to test_parser_qf_ufbv.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib/test_parser_qf_nia.py to test_parser_qf_nia.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib/test_parser_qf_uf.py to test_parser_qf_uf.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib/test_parser_extensibility.py to test_parser_extensibility.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib/parser_utils.py to parser_utils.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib/test_generic_wrapper.py to test_generic_wrapper.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib/test_parser_qf_lira.py to test_parser_qf_lira.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib/test_annotations.py to test_annotations.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib/test_fuzzed.py to test_fuzzed.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib/test_parser_examples.py to test_parser_examples.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib/test_parser_qf_nra.py to test_parser_qf_nra.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib/test_parser_qf_lra.py to test_parser_qf_lra.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib/test_smtlibscript.py to test_smtlibscript.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib/test_parser_qf_lia.py to test_parser_qf_lia.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib/test_parser_lra.py to test_parser_lra.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib/test_parser_type_error.py to test_parser_type_error.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/smtlib/__init__.py to __init__.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_formula.py to test_formula.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_native_qe.py to test_native_qe.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_logics.py to test_logics.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_eager_model.py to test_eager_model.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_models.py to test_models.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_euf.py to test_euf.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_unsat_cores.py to test_unsat_cores.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_qe.py to test_qe.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_oracles.py to test_oracles.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_bdd.py to test_bdd.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_nlira.py to test_nlira.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_rewritings.py to test_rewritings.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_string.py to test_string.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_constants.py to test_constants.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_sorts.py to test_sorts.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_cvc4_quantifiers.py to test_cvc4_quantifiers.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_bv_simplification.py to test_bv_simplification.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_simplify.py to test_simplify.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/examples.py to examples.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_int.py to test_int.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_interpolation.py to test_interpolation.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_nia.py to test_nia.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_dwf.py to test_dwf.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_size.py to test_size.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_bv.py to test_bv.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_hr_parsing.py to test_hr_parsing.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_env.py to test_env.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_solving.py to test_solving.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_regressions.py to test_regressions.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_back.py to test_back.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_portfolio.py to test_portfolio.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/__init__.py to __init__.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/test/test_configuration.py to test_configuration.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/shortcuts.py to shortcuts.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/cmd/shell.py to shell.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/cmd/check_version.py to check_version.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/cmd/installers/base.py to base.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/cmd/installers/yices.py to yices.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/cmd/installers/bdd.py to bdd.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/cmd/installers/z3.py to z3.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/cmd/installers/msat.py to msat.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/cmd/installers/pico.py to pico.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/cmd/installers/btor.py to btor.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/cmd/installers/__init__.py to __init__.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/cmd/installers/cvc4.py to cvc4.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/cmd/__init__.py to __init__.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/cmd/install.py to install.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/configuration.py to configuration.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/walkers/dag.py to dag.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/walkers/tree.py to tree.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/walkers/generic.py to generic.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/walkers/identitydag.py to identitydag.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/walkers/__init__.py to __init__.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/factory.py to factory.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/smtlib/script.py to script.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/smtlib/annotations.py to annotations.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/smtlib/parser/parser.py to parser.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/smtlib/parser/__init__.py to __init__.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/smtlib/printers.py to printers.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/smtlib/solver.py to solver.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/smtlib/__init__.py to __init__.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/smtlib/commands.py to commands.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/smtlib/utils.py to utils.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/simplifier.py to simplifier.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/operators.py to operators.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/environment.py to environment.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/logics.py to logics.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/formula.py to formula.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/type_checker.py to type_checker.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/typing.py to typing.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/exceptions.py to exceptions.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/printers.py to printers.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/__main__.py to __main__.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/parsing.py to parsing.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/decorators.py to decorators.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/rewritings.py to rewritings.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/__init__.py to __init__.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/constants.py to constants.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/oracles.py to oracles.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/solvers/smtlib.py to smtlib.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/solvers/portfolio.py to portfolio.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/solvers/yices.py to yices.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/solvers/interpolation.py to interpolation.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/solvers/bdd.py to bdd.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/solvers/eager.py to eager.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/solvers/z3.py to z3.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/solvers/qelim.py to qelim.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/solvers/msat.py to msat.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/solvers/pico.py to pico.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/solvers/solver.py to solver.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/solvers/btor.py to btor.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/solvers/options.py to options.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/solvers/__init__.py to __init__.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/solvers/cvc4.py to cvc4.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/utils.py to utils.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/fnode.py to fnode.cpython-310.pyc
byte-compiling /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/pysmt/substituter.py to substituter.cpython-310.pyc
writing byte-compilation script '/tmp/tmpg19_tjwj.py'
/usr/pkg/bin/python3.10 /tmp/tmpg19_tjwj.py
removing /tmp/tmpg19_tjwj.py
running install_egg_info
Copying PySMT.egg-info to /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/PySMT-0.9.5-py3.10.egg-info
running install_scripts
Installing pysmt-install script to /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/bin
=> Automatic manual page handling
=> Generating post-install file lists
if test -d "/home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/PySMT-0.9.5-py3.10.egg-info"; then  /bin/find /home/pbulk/build/math/py-smt/work/.destdir/usr/pkg/lib/python3.10/site-packages/PySMT-0.9.5-py3.10.egg-info -type f  -exec /bin/chmod 644 '{}' ';' ;  fi
=> Checking file-check results for py310-smt-0.9.5
=> Checking for non-existent script interpreters in py310-smt-0.9.5
=> Checking file permissions in py310-smt-0.9.5
=> Checking for RELRO in py310-smt-0.9.5
=> Checking for missing run-time search paths in py310-smt-0.9.5
=> Checking for work-directory references in py310-smt-0.9.5