------------------------------------------------------------------------------- -- Phase: Environment ------------------------------------------------------------------------------- NO_DEPENDS=1 FLAVOR=py39 UNAME_r=6.5 UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=unknown UNAME_s=DragonFly PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SSL_NO_VERIFY_PEER=1 LANG=C HOME=/root USER=root TERM=dumb SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: showconfig ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ENV ------------------------------------------------------------------------------- PYTHON="/usr/local/bin/python3.9" XDG_DATA_HOME=/construction/math/py-pysmt XDG_CONFIG_HOME=/construction/math/py-pysmt XDG_CACHE_HOME=/construction/math/py-pysmt/.cache HOME=/construction/math/py-pysmt TMPDIR="/tmp" PATH=/construction/math/py-pysmt/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/math/py-pysmt/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc80 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ARGS ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: MAKE_ENV ------------------------------------------------------------------------------- XDG_DATA_HOME=/construction/math/py-pysmt XDG_CONFIG_HOME=/construction/math/py-pysmt XDG_CACHE_HOME=/construction/math/py-pysmt/.cache HOME=/construction/math/py-pysmt TMPDIR="/tmp" PATH=/construction/math/py-pysmt/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/math/py-pysmt/.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 CCVER=gcc80 LDSHARED="cc -shared" PYTHONDONTWRITEBYTECODE= PYTHONOPTIMIZE= PREFIX=/usr/local LOCALBASE=/usr/local NOPROFILE=1 CC="cc" CFLAGS="-pipe -O2 -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" " LIBS="" CXX="c++" CXXFLAGS=" -pipe -O2 -fno-strict-aliasing " MANPREFIX="/usr/local" 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" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: MAKE_ARGS ------------------------------------------------------------------------------- DESTDIR=/construction/math/py-pysmt/stage SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: PLIST_SUB ------------------------------------------------------------------------------- PYTHON_INCLUDEDIR=include/python3.9 PYTHON_LIBDIR=lib/python3.9 PYTHON_PLATFORM=dragonfly6 PYTHON_SITELIBDIR=lib/python3.9/site-packages PYTHON_SUFFIX=39 PYTHON_EXT_SUFFIX=.cpython-39 PYTHON_VER=3.9 PYTHON_VERSION=python3.9 PYTHON2="@comment " PYTHON3="" OSREL=6.5 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/py39-pysmt" EXAMPLESDIR="share/examples/py39-pysmt" DATADIR="share/py39-pysmt" WWWDIR="www/py39-pysmt" ETCDIR="etc/py39-pysmt" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: SUB_LIST ------------------------------------------------------------------------------- PYTHON_INCLUDEDIR=/usr/local/include/python3.9 PYTHON_LIBDIR=/usr/local/lib/python3.9 PYTHON_PLATFORM=dragonfly6 PYTHON_SITELIBDIR=/usr/local/lib/python3.9/site-packages PYTHON_SUFFIX=39 PYTHON_EXT_SUFFIX=.cpython-39 PYTHON_VER=3.9 PYTHON_VERSION=python3.9 PYTHON2="@comment " PYTHON3="" PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/py39-pysmt DOCSDIR=/usr/local/share/doc/py39-pysmt EXAMPLESDIR=/usr/local/share/examples/py39-pysmt WWWDIR=/usr/local/www/py39-pysmt ETCDIR=/usr/local/etc/py39-pysmt SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: /etc/make.conf ------------------------------------------------------------------------------- DPORTS_BUILDER=yes DISABLE_LICENSES=yes DEFAULT_VERSIONS=ssl=openssl FORCE_PACKAGE=yes DEVELOPER=yes DFLY_STING_XFAIL=yes USE_PACKAGE_DEPENDS_ONLY=yes PORTSDIR=/xports PORT_DBDIR=/options PKG_DBDIR=/var/db/pkg PKG_CACHEDIR=/var/cache/pkg PKG_COMPRESSION_FORMAT=.tgz DEVELOPER=1 WITH_CCACHE_BUILD=yes CCACHE_DIR=/ccache UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=600503 OSVERSION=9999999 OSREL=6.5 _OSRELEASE=6.5-SYNTH DISTDIR=/distfiles WRKDIRPREFIX=/construction BATCH=yes PACKAGE_BUILDING=yes PKG_CREATE_VERBOSE=yes MAKE_JOBS_NUMBER=13 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/indexinfo-0.3.1.pkg Installing /packages/All/libffi-3.4.4.pkg Installing /packages/All/expat-2.5.0.pkg Installing /packages/All/mpdecimal-2.5.1.pkg Installing /packages/All/ncurses-6.4.pkg ===== Message from ncurses-6.4: -- To get the terminfo database please install the terminfo-db package: pkg install terminfo-db Installing /packages/All/readline-8.2.1.pkg Installing /packages/All/gettext-runtime-0.21.1.pkg Installing /packages/All/openssl-1.1.1u,1.pkg Installing /packages/All/python39-3.9.17.pkg ===== Message from python39-3.9.17: -- Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: py39-gdbm databases/py-gdbm@py39 py39-sqlite3 databases/py-sqlite3@py39 py39-tkinter x11-toolkits/py-tkinter@py39 Installing /packages/All/py39-setuptools-63.1.0_1.pkg Installing /packages/All/ccache-3.7.12_4.pkg Create compiler links... create symlink for cc create symlink for cc (world) create symlink for c++ create symlink for c++ (world) create symlink for CC create symlink for CC (world) create symlink for gcc create symlink for gcc (world) create symlink for g++ create symlink for g++ (world) ===== Message from ccache-3.7.12_4: -- NOTE: Please read /usr/local/share/doc/ccache/ccache-howto-freebsd.txt for information on using ccache with FreeBSD ports and src. Installing /packages/All/py39-six-1.16.0.pkg SUCCEEDED 00:00:03 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> py39-pysmt-0.9.0 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> py39-pysmt-0.9.0 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by py39-pysmt-0.9.0 for building SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> py39-pysmt-0.9.0 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by py39-pysmt-0.9.0 for building => SHA256 Checksum OK for pysmt-pysmt-v0.9.0_GH0.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> py39-pysmt-0.9.0 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by py39-pysmt-0.9.0 for building ===> Extracting for py39-pysmt-0.9.0 => SHA256 Checksum OK for pysmt-pysmt-v0.9.0_GH0.tar.gz. Extracted Memory Use: 3.20M SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for py39-pysmt-0.9.0 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> py39-pysmt-0.9.0 depends on package: py39-setuptools>=63.1.0 - found ===> py39-pysmt-0.9.0 depends on file: /usr/local/bin/python3.9 - found ===> py39-pysmt-0.9.0 depends on file: /usr/local/bin/ccache - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> py39-pysmt-0.9.0 depends on package: py39-setuptools>=63.1.0 - found ===> py39-pysmt-0.9.0 depends on file: /usr/local/bin/python3.9 - found ===> py39-pysmt-0.9.0 depends on file: /usr/local/bin/ccache - found ===> Configuring for py39-pysmt-0.9.0 running config SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for py39-pysmt-0.9.0 running build running build_py creating build creating build/lib creating build/lib/pysmt copying pysmt/__init__.py -> build/lib/pysmt copying pysmt/__main__.py -> build/lib/pysmt copying pysmt/configuration.py -> build/lib/pysmt copying pysmt/constants.py -> build/lib/pysmt copying pysmt/decorators.py -> build/lib/pysmt copying pysmt/environment.py -> build/lib/pysmt copying pysmt/exceptions.py -> build/lib/pysmt copying pysmt/factory.py -> build/lib/pysmt copying pysmt/fnode.py -> build/lib/pysmt copying pysmt/formula.py -> build/lib/pysmt copying pysmt/logics.py -> build/lib/pysmt copying pysmt/operators.py -> build/lib/pysmt copying pysmt/oracles.py -> build/lib/pysmt copying pysmt/parsing.py -> build/lib/pysmt copying pysmt/printers.py -> build/lib/pysmt copying pysmt/rewritings.py -> build/lib/pysmt copying pysmt/shortcuts.py -> build/lib/pysmt copying pysmt/simplifier.py -> build/lib/pysmt copying pysmt/substituter.py -> build/lib/pysmt copying pysmt/type_checker.py -> build/lib/pysmt copying pysmt/typing.py -> build/lib/pysmt copying pysmt/utils.py -> build/lib/pysmt creating build/lib/pysmt/cmd copying pysmt/cmd/__init__.py -> build/lib/pysmt/cmd copying pysmt/cmd/check_version.py -> build/lib/pysmt/cmd copying pysmt/cmd/install.py -> build/lib/pysmt/cmd copying pysmt/cmd/shell.py -> build/lib/pysmt/cmd creating build/lib/pysmt/smtlib copying pysmt/smtlib/__init__.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/annotations.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/commands.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/printers.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/script.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/solver.py -> build/lib/pysmt/smtlib creating build/lib/pysmt/solvers copying pysmt/solvers/__init__.py -> build/lib/pysmt/solvers copying pysmt/solvers/bdd.py -> build/lib/pysmt/solvers copying pysmt/solvers/btor.py -> build/lib/pysmt/solvers copying pysmt/solvers/cvc4.py -> build/lib/pysmt/solvers copying pysmt/solvers/eager.py -> build/lib/pysmt/solvers copying pysmt/solvers/interpolation.py -> build/lib/pysmt/solvers copying pysmt/solvers/msat.py -> build/lib/pysmt/solvers copying pysmt/solvers/options.py -> build/lib/pysmt/solvers copying pysmt/solvers/pico.py -> build/lib/pysmt/solvers copying pysmt/solvers/portfolio.py -> build/lib/pysmt/solvers copying pysmt/solvers/qelim.py -> build/lib/pysmt/solvers copying pysmt/solvers/smtlib.py -> build/lib/pysmt/solvers copying pysmt/solvers/solver.py -> build/lib/pysmt/solvers copying pysmt/solvers/yices.py -> build/lib/pysmt/solvers copying pysmt/solvers/z3.py -> build/lib/pysmt/solvers creating build/lib/pysmt/test copying pysmt/test/__init__.py -> build/lib/pysmt/test copying pysmt/test/examples.py -> build/lib/pysmt/test copying pysmt/test/test_array.py -> build/lib/pysmt/test copying pysmt/test/test_back.py -> build/lib/pysmt/test copying pysmt/test/test_bdd.py -> build/lib/pysmt/test copying pysmt/test/test_bv.py -> build/lib/pysmt/test copying pysmt/test/test_bv_simplification.py -> build/lib/pysmt/test copying pysmt/test/test_cnf.py -> build/lib/pysmt/test copying pysmt/test/test_configuration.py -> build/lib/pysmt/test copying pysmt/test/test_constants.py -> build/lib/pysmt/test copying pysmt/test/test_cvc4_quantifiers.py -> build/lib/pysmt/test copying pysmt/test/test_dwf.py -> build/lib/pysmt/test copying pysmt/test/test_eager_model.py -> build/lib/pysmt/test copying pysmt/test/test_env.py -> build/lib/pysmt/test copying pysmt/test/test_euf.py -> build/lib/pysmt/test copying pysmt/test/test_formula.py -> build/lib/pysmt/test copying pysmt/test/test_hr_parsing.py -> build/lib/pysmt/test copying pysmt/test/test_imports.py -> build/lib/pysmt/test copying pysmt/test/test_int.py -> build/lib/pysmt/test copying pysmt/test/test_interpolation.py -> build/lib/pysmt/test copying pysmt/test/test_lira.py -> build/lib/pysmt/test copying pysmt/test/test_logics.py -> build/lib/pysmt/test copying pysmt/test/test_models.py -> build/lib/pysmt/test copying pysmt/test/test_native_qe.py -> build/lib/pysmt/test copying pysmt/test/test_nlira.py -> build/lib/pysmt/test copying pysmt/test/test_oracles.py -> build/lib/pysmt/test copying pysmt/test/test_portfolio.py -> build/lib/pysmt/test copying pysmt/test/test_printing.py -> build/lib/pysmt/test copying pysmt/test/test_qe.py -> build/lib/pysmt/test copying pysmt/test/test_regressions.py -> build/lib/pysmt/test copying pysmt/test/test_rewritings.py -> build/lib/pysmt/test copying pysmt/test/test_shannon_expansion.py -> build/lib/pysmt/test copying pysmt/test/test_simplify.py -> build/lib/pysmt/test copying pysmt/test/test_size.py -> build/lib/pysmt/test copying pysmt/test/test_solving.py -> build/lib/pysmt/test copying pysmt/test/test_sorts.py -> build/lib/pysmt/test copying pysmt/test/test_string.py -> build/lib/pysmt/test copying pysmt/test/test_typechecker.py -> build/lib/pysmt/test copying pysmt/test/test_unsat_cores.py -> build/lib/pysmt/test copying pysmt/test/test_walker_ext.py -> build/lib/pysmt/test copying pysmt/test/test_walkers.py -> build/lib/pysmt/test creating build/lib/pysmt/walkers copying pysmt/walkers/__init__.py -> build/lib/pysmt/walkers copying pysmt/walkers/dag.py -> build/lib/pysmt/walkers copying pysmt/walkers/generic.py -> build/lib/pysmt/walkers copying pysmt/walkers/identitydag.py -> build/lib/pysmt/walkers copying pysmt/walkers/tree.py -> build/lib/pysmt/walkers creating build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/__init__.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/base.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/bdd.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/btor.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/cvc4.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/msat.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/pico.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/yices.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/z3.py -> build/lib/pysmt/cmd/installers creating build/lib/pysmt/smtlib/parser copying pysmt/smtlib/parser/__init__.py -> build/lib/pysmt/smtlib/parser copying pysmt/smtlib/parser/parser.py -> build/lib/pysmt/smtlib/parser creating build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/__init__.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/parser_utils.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_annotations.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_fuzzed.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_generic_wrapper.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_griggio.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_examples.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_extensibility.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_lra.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_arrays.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_lia.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_lira.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_lra.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_nia.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_nra.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_ufbv.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_type_error.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_smtlibscript.py -> build/lib/pysmt/test/smtlib running egg_info creating PySMT.egg-info writing PySMT.egg-info/PKG-INFO writing dependency_links to PySMT.egg-info/dependency_links.txt writing entry points to PySMT.egg-info/entry_points.txt writing requirements to PySMT.egg-info/requires.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' SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- ===> py39-pysmt-0.9.0 depends on package: py39-six>=0 - found ===> py39-pysmt-0.9.0 depends on package: py39-setuptools>=63.1.0 - found ===> py39-pysmt-0.9.0 depends on file: /usr/local/bin/python3.9 - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for py39-pysmt-0.9.0 ===> py39-pysmt-0.9.0 depends on package: py39-six>=0 - found ===> py39-pysmt-0.9.0 depends on package: py39-setuptools>=63.1.0 - found ===> py39-pysmt-0.9.0 depends on file: /usr/local/bin/python3.9 - found ===> Generating temporary packing list running install /usr/local/lib/python3.9/site-packages/setuptools/command/install.py:34: SetuptoolsDeprecationWarning: setup.py install is deprecated. Use build and pip and other standards-based tools. warnings.warn( 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 requirements to PySMT.egg-info/requires.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 /construction/math/py-pysmt/stage/usr/local/lib/python3.9 creating /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages creating /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/__init__.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/__main__.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/configuration.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/constants.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/decorators.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/environment.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/exceptions.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/factory.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/fnode.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/formula.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/logics.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/operators.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/oracles.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/parsing.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/printers.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/rewritings.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/shortcuts.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/simplifier.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/substituter.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/type_checker.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/typing.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/utils.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt creating /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/cmd copying build/lib/pysmt/cmd/__init__.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/cmd copying build/lib/pysmt/cmd/check_version.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/cmd copying build/lib/pysmt/cmd/install.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/cmd copying build/lib/pysmt/cmd/shell.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/cmd creating /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/__init__.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/base.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/bdd.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/btor.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/cvc4.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/msat.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/pico.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/yices.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/z3.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/cmd/installers creating /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/__init__.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/annotations.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/commands.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/printers.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/script.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/solver.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/smtlib creating /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/smtlib/parser copying build/lib/pysmt/smtlib/parser/__init__.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/smtlib/parser copying build/lib/pysmt/smtlib/parser/parser.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/smtlib/parser creating /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/__init__.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/bdd.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/btor.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/cvc4.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/eager.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/interpolation.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/msat.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/options.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/pico.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/portfolio.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/qelim.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/smtlib.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/solver.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/yices.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/z3.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/solvers creating /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/__init__.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/examples.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_array.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_back.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_bdd.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_bv.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_bv_simplification.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_cnf.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_configuration.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_constants.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_cvc4_quantifiers.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_dwf.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_eager_model.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_env.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_euf.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_formula.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_hr_parsing.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_imports.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_int.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_interpolation.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_lira.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_logics.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_models.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_native_qe.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_nlira.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_oracles.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_portfolio.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_printing.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_qe.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_regressions.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_rewritings.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_shannon_expansion.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_simplify.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_size.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_solving.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_sorts.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_string.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_typechecker.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_unsat_cores.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_walker_ext.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_walkers.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test creating /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/__init__.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/parser_utils.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_annotations.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_fuzzed.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_generic_wrapper.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_griggio.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_examples.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_extensibility.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_lra.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_arrays.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_lia.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_lira.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_lra.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_nia.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_nra.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_ufbv.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_type_error.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_smtlibscript.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib creating /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/walkers copying build/lib/pysmt/walkers/__init__.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/walkers copying build/lib/pysmt/walkers/dag.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/walkers copying build/lib/pysmt/walkers/generic.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/walkers copying build/lib/pysmt/walkers/identitydag.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/walkers copying build/lib/pysmt/walkers/tree.py -> /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/walkers byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/__init__.py to __init__.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/__main__.py to __main__.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/configuration.py to configuration.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/constants.py to constants.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/decorators.py to decorators.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/environment.py to environment.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/exceptions.py to exceptions.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/factory.py to factory.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/fnode.py to fnode.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/formula.py to formula.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/logics.py to logics.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/operators.py to operators.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/oracles.py to oracles.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/parsing.py to parsing.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/printers.py to printers.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/rewritings.py to rewritings.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/shortcuts.py to shortcuts.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/simplifier.py to simplifier.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/substituter.py to substituter.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/type_checker.py to type_checker.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/typing.py to typing.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/utils.py to utils.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/cmd/__init__.py to __init__.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/cmd/check_version.py to check_version.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/cmd/install.py to install.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/cmd/shell.py to shell.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/cmd/installers/__init__.py to __init__.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/cmd/installers/base.py to base.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/cmd/installers/bdd.py to bdd.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/cmd/installers/btor.py to btor.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/cmd/installers/cvc4.py to cvc4.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/cmd/installers/msat.py to msat.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/cmd/installers/pico.py to pico.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/cmd/installers/yices.py to yices.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/cmd/installers/z3.py to z3.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/smtlib/__init__.py to __init__.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/smtlib/annotations.py to annotations.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/smtlib/commands.py to commands.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/smtlib/printers.py to printers.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/smtlib/script.py to script.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/smtlib/solver.py to solver.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/smtlib/parser/__init__.py to __init__.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/smtlib/parser/parser.py to parser.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/solvers/__init__.py to __init__.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/solvers/bdd.py to bdd.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/solvers/btor.py to btor.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/solvers/cvc4.py to cvc4.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/solvers/eager.py to eager.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/solvers/interpolation.py to interpolation.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/solvers/msat.py to msat.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/solvers/options.py to options.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/solvers/pico.py to pico.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/solvers/portfolio.py to portfolio.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/solvers/qelim.py to qelim.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/solvers/smtlib.py to smtlib.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/solvers/solver.py to solver.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/solvers/yices.py to yices.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/solvers/z3.py to z3.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/__init__.py to __init__.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/examples.py to examples.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_array.py to test_array.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_back.py to test_back.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_bdd.py to test_bdd.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_bv.py to test_bv.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_bv_simplification.py to test_bv_simplification.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_cnf.py to test_cnf.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_configuration.py to test_configuration.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_constants.py to test_constants.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_cvc4_quantifiers.py to test_cvc4_quantifiers.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_dwf.py to test_dwf.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_eager_model.py to test_eager_model.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_env.py to test_env.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_euf.py to test_euf.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_formula.py to test_formula.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_hr_parsing.py to test_hr_parsing.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_imports.py to test_imports.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_int.py to test_int.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_interpolation.py to test_interpolation.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_lira.py to test_lira.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_logics.py to test_logics.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_models.py to test_models.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_native_qe.py to test_native_qe.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_nlira.py to test_nlira.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_oracles.py to test_oracles.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_portfolio.py to test_portfolio.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_printing.py to test_printing.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_qe.py to test_qe.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_regressions.py to test_regressions.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_rewritings.py to test_rewritings.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_shannon_expansion.py to test_shannon_expansion.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_simplify.py to test_simplify.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_size.py to test_size.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_solving.py to test_solving.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_sorts.py to test_sorts.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_string.py to test_string.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_typechecker.py to test_typechecker.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_unsat_cores.py to test_unsat_cores.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_walker_ext.py to test_walker_ext.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/test_walkers.py to test_walkers.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib/__init__.py to __init__.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib/parser_utils.py to parser_utils.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib/test_annotations.py to test_annotations.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib/test_fuzzed.py to test_fuzzed.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib/test_generic_wrapper.py to test_generic_wrapper.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib/test_griggio.py to test_griggio.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib/test_parser_examples.py to test_parser_examples.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib/test_parser_extensibility.py to test_parser_extensibility.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib/test_parser_lra.py to test_parser_lra.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib/test_parser_qf_arrays.py to test_parser_qf_arrays.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib/test_parser_qf_lia.py to test_parser_qf_lia.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib/test_parser_qf_lira.py to test_parser_qf_lira.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib/test_parser_qf_lra.py to test_parser_qf_lra.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib/test_parser_qf_nia.py to test_parser_qf_nia.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib/test_parser_qf_nra.py to test_parser_qf_nra.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib/test_parser_qf_ufbv.py to test_parser_qf_ufbv.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib/test_parser_type_error.py to test_parser_type_error.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/test/smtlib/test_smtlibscript.py to test_smtlibscript.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/walkers/__init__.py to __init__.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/walkers/dag.py to dag.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/walkers/generic.py to generic.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/walkers/identitydag.py to identitydag.cpython-39.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/pysmt/walkers/tree.py to tree.cpython-39.pyc writing byte-compilation script '/tmp/tmpiazvfgn1.py' /usr/local/bin/python3.9 /tmp/tmpiazvfgn1.py removing /tmp/tmpiazvfgn1.py running install_egg_info Copying PySMT.egg-info to /construction/math/py-pysmt/stage/usr/local/lib/python3.9/site-packages/PySMT-0.9.0-py3.9.egg-info running install_scripts Installing pysmt-install script to /construction/math/py-pysmt/stage/usr/local/bin writing list of installed files to '/construction/math/py-pysmt/.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.9 Link: @bin/pysmt-install --> bin/pysmt-install-3.9 ====> Compressing man pages (compress-man) ====> Running Q/A tests (stage-qa) Warning: You have disabled the licenses framework with DISABLE_LICENSES, unable to run checks SUCCEEDED 00:00:04 ------------------------------------------------------------------------------- -- Phase: check-plist ------------------------------------------------------------------------------- ====> Checking for pkg-plist issues (check-plist) ===> Parsing plist ===> Checking for items in STAGEDIR missing from pkg-plist ===> Checking for items in pkg-plist which are not in STAGEDIR ===> No pkg-plist issues found (check-plist) SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for py39-pysmt-0.9.0 file sizes/checksums [374]: 0% file sizes/checksums [374]: 26% file sizes/checksums [374]: 53% file sizes/checksums [374]: 80% file sizes/checksums [374]: 100% Service unavailablepacking files [374]: 0% packing files [374]: 26% packing files [374]: 53% packing files [374]: 80% packing files [374]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:00 TOTAL TIME 00:00:09