------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/expat-2.2.8.txz Installing /packages/All/indexinfo-0.3.1.txz Installing /packages/All/libffi-3.2.1_3.txz Installing /packages/All/ncurses-6.1.20190525.txz Installing /packages/All/readline-8.0.4.txz Installing /packages/All/gettext-runtime-0.20.2.txz Installing /packages/All/openssl-1.1.1g,1.txz Installing /packages/All/python27-2.7.18.txz ===== Message from python27-2.7.18: -- Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: bsddb databases/py-bsddb gdbm databases/py-gdbm sqlite3 databases/py-sqlite3 tkinter x11-toolkits/py-tkinter Installing /packages/All/py27-setuptools-44.0.0.txz ===== Message from py27-setuptools-44.0.0: -- Only /usr/local/bin/easy_install-2.7 script has been installed since Python 2.7 is not the default Python version. -- ===> NOTICE: This port is deprecated; you may wish to reconsider installing it: Uses Python 2.7 which is EOLed upstream. It is scheduled to be removed on or after 2020-12-31. Installing /packages/All/py27-six-1.14.0.txz ===== Message from py27-six-1.14.0: -- ===> NOTICE: This port is deprecated; you may wish to reconsider installing it: Uses Python 2.7 which is EOLed upstream. It is scheduled to be removed on or after 2020-12-31. SUCCEEDED 00:00:04 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- ===> NOTICE: This port is deprecated; you may wish to reconsider installing it: Uses Python 2.7 which is EOLed upstream. It is scheduled to be removed on or after 2020-12-31. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> py27-pysmt-0.8.0 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> NOTICE: This port is deprecated; you may wish to reconsider installing it: Uses Python 2.7 which is EOLed upstream. It is scheduled to be removed on or after 2020-12-31. ===> py27-pysmt-0.8.0 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by py27-pysmt-0.8.0 for building SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> NOTICE: This port is deprecated; you may wish to reconsider installing it: Uses Python 2.7 which is EOLed upstream. It is scheduled to be removed on or after 2020-12-31. ===> py27-pysmt-0.8.0 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by py27-pysmt-0.8.0 for building => SHA256 Checksum OK for pysmt-pysmt-v0.8.0_GH0.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> NOTICE: This port is deprecated; you may wish to reconsider installing it: Uses Python 2.7 which is EOLed upstream. It is scheduled to be removed on or after 2020-12-31. ===> py27-pysmt-0.8.0 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by py27-pysmt-0.8.0 for building ===> Extracting for py27-pysmt-0.8.0 => SHA256 Checksum OK for pysmt-pysmt-v0.8.0_GH0.tar.gz. Extracted Memory Use: 3.19M SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for py27-pysmt-0.8.0 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> py27-pysmt-0.8.0 depends on package: py27-setuptools>0 - found ===> py27-pysmt-0.8.0 depends on file: /usr/local/bin/python2.7 - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> py27-pysmt-0.8.0 depends on package: py27-setuptools>0 - found ===> py27-pysmt-0.8.0 depends on file: /usr/local/bin/python2.7 - found ===> Configuring for py27-pysmt-0.8.0 running config SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for py27-pysmt-0.8.0 running build running build_py creating build creating build/lib creating build/lib/pysmt copying pysmt/configuration.py -> build/lib/pysmt copying pysmt/oracles.py -> build/lib/pysmt copying pysmt/formula.py -> build/lib/pysmt copying pysmt/utils.py -> build/lib/pysmt copying pysmt/substituter.py -> build/lib/pysmt copying pysmt/constants.py -> build/lib/pysmt copying pysmt/logics.py -> build/lib/pysmt copying pysmt/typing.py -> build/lib/pysmt copying pysmt/exceptions.py -> build/lib/pysmt copying pysmt/rewritings.py -> build/lib/pysmt copying pysmt/operators.py -> build/lib/pysmt copying pysmt/decorators.py -> build/lib/pysmt copying pysmt/simplifier.py -> build/lib/pysmt copying pysmt/parsing.py -> build/lib/pysmt copying pysmt/environment.py -> build/lib/pysmt copying pysmt/printers.py -> build/lib/pysmt copying pysmt/shortcuts.py -> build/lib/pysmt copying pysmt/factory.py -> build/lib/pysmt copying pysmt/__init__.py -> build/lib/pysmt copying pysmt/fnode.py -> build/lib/pysmt copying pysmt/type_checker.py -> build/lib/pysmt creating build/lib/pysmt/cmd copying pysmt/cmd/__init__.py -> build/lib/pysmt/cmd copying pysmt/cmd/shell.py -> build/lib/pysmt/cmd copying pysmt/cmd/check_version.py -> build/lib/pysmt/cmd copying pysmt/cmd/install.py -> build/lib/pysmt/cmd creating build/lib/pysmt/smtlib copying pysmt/smtlib/commands.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/annotations.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/script.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/printers.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/solver.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/__init__.py -> build/lib/pysmt/smtlib creating build/lib/pysmt/walkers copying pysmt/walkers/generic.py -> build/lib/pysmt/walkers copying pysmt/walkers/tree.py -> build/lib/pysmt/walkers copying pysmt/walkers/dag.py -> build/lib/pysmt/walkers copying pysmt/walkers/identitydag.py -> build/lib/pysmt/walkers copying pysmt/walkers/__init__.py -> build/lib/pysmt/walkers creating build/lib/pysmt/test copying pysmt/test/test_string.py -> build/lib/pysmt/test copying pysmt/test/test_rewritings.py -> build/lib/pysmt/test copying pysmt/test/test_native_qe.py -> build/lib/pysmt/test copying pysmt/test/test_portfolio.py -> build/lib/pysmt/test copying pysmt/test/test_hr_parsing.py -> build/lib/pysmt/test copying pysmt/test/test_unsat_cores.py -> build/lib/pysmt/test copying pysmt/test/examples.py -> build/lib/pysmt/test copying pysmt/test/test_logics.py -> build/lib/pysmt/test copying pysmt/test/test_oracles.py -> build/lib/pysmt/test copying pysmt/test/test_interpolation.py -> build/lib/pysmt/test copying pysmt/test/test_models.py -> build/lib/pysmt/test copying pysmt/test/test_configuration.py -> build/lib/pysmt/test copying pysmt/test/test_int.py -> build/lib/pysmt/test copying pysmt/test/test_typechecker.py -> build/lib/pysmt/test copying pysmt/test/test_eager_model.py -> build/lib/pysmt/test copying pysmt/test/__init__.py -> build/lib/pysmt/test copying pysmt/test/test_bdd.py -> build/lib/pysmt/test copying pysmt/test/test_lira.py -> build/lib/pysmt/test copying pysmt/test/test_cvc4_quantifiers.py -> build/lib/pysmt/test copying pysmt/test/test_shannon_expansion.py -> build/lib/pysmt/test copying pysmt/test/test_sorts.py -> build/lib/pysmt/test copying pysmt/test/test_simplify.py -> build/lib/pysmt/test copying pysmt/test/test_printing.py -> build/lib/pysmt/test copying pysmt/test/test_regressions.py -> build/lib/pysmt/test copying pysmt/test/test_array.py -> build/lib/pysmt/test copying pysmt/test/test_euf.py -> build/lib/pysmt/test copying pysmt/test/test_constants.py -> build/lib/pysmt/test copying pysmt/test/test_bv_simplification.py -> build/lib/pysmt/test copying pysmt/test/test_bv.py -> build/lib/pysmt/test copying pysmt/test/test_nlira.py -> build/lib/pysmt/test copying pysmt/test/test_back.py -> build/lib/pysmt/test copying pysmt/test/test_formula.py -> build/lib/pysmt/test copying pysmt/test/test_cnf.py -> build/lib/pysmt/test copying pysmt/test/test_walker_ext.py -> build/lib/pysmt/test copying pysmt/test/test_env.py -> build/lib/pysmt/test copying pysmt/test/test_solving.py -> build/lib/pysmt/test copying pysmt/test/test_size.py -> build/lib/pysmt/test copying pysmt/test/test_imports.py -> build/lib/pysmt/test copying pysmt/test/test_dwf.py -> build/lib/pysmt/test copying pysmt/test/test_walkers.py -> build/lib/pysmt/test copying pysmt/test/test_qe.py -> build/lib/pysmt/test creating build/lib/pysmt/solvers copying pysmt/solvers/btor.py -> build/lib/pysmt/solvers copying pysmt/solvers/eager.py -> build/lib/pysmt/solvers copying pysmt/solvers/smtlib.py -> build/lib/pysmt/solvers copying pysmt/solvers/__init__.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/cvc4.py -> build/lib/pysmt/solvers copying pysmt/solvers/portfolio.py -> build/lib/pysmt/solvers copying pysmt/solvers/z3.py -> build/lib/pysmt/solvers copying pysmt/solvers/msat.py -> build/lib/pysmt/solvers copying pysmt/solvers/bdd.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/qelim.py -> build/lib/pysmt/solvers copying pysmt/solvers/interpolation.py -> build/lib/pysmt/solvers creating 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/__init__.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/cvc4.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/base.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/yices.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/z3.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/btor.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/bdd.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/test_parser_examples.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_fuzzed.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_extensibility.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_lra.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_annotations.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_ufbv.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_lia.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_lra.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_smtlibscript.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/parser_utils.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/__init__.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_type_error.py -> build/lib/pysmt/test/smtlib running egg_info creating PySMT.egg-info writing requirements to PySMT.egg-info/requires.txt writing PySMT.egg-info/PKG-INFO writing top-level names to PySMT.egg-info/top_level.txt writing dependency_links to PySMT.egg-info/dependency_links.txt writing entry points to PySMT.egg-info/entry_points.txt writing manifest file 'PySMT.egg-info/SOURCES.txt' reading manifest file 'PySMT.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' writing manifest file 'PySMT.egg-info/SOURCES.txt' SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- ===> py27-pysmt-0.8.0 depends on package: py27-six>=0 - found ===> py27-pysmt-0.8.0 depends on package: py27-setuptools>0 - found ===> py27-pysmt-0.8.0 depends on file: /usr/local/bin/python2.7 - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for py27-pysmt-0.8.0 ===> py27-pysmt-0.8.0 depends on package: py27-six>=0 - found ===> py27-pysmt-0.8.0 depends on package: py27-setuptools>0 - found ===> py27-pysmt-0.8.0 depends on file: /usr/local/bin/python2.7 - found ===> Generating temporary packing list running install running build running build_py running egg_info writing requirements to PySMT.egg-info/requires.txt writing PySMT.egg-info/PKG-INFO writing top-level names to PySMT.egg-info/top_level.txt writing dependency_links to PySMT.egg-info/dependency_links.txt writing entry points to PySMT.egg-info/entry_points.txt reading manifest file 'PySMT.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' writing manifest file 'PySMT.egg-info/SOURCES.txt' running install_lib creating /construction/math/py-pysmt/stage/usr/local/lib/python2.7 creating /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages creating /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt creating /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/smtlib.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/interpolation.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/cvc4.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/options.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/yices.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/btor.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/eager.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/pico.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/msat.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/portfolio.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/qelim.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/__init__.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/bdd.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/solver.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/z3.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/solvers copying build/lib/pysmt/logics.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt creating /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/smtlib creating /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/smtlib/parser copying build/lib/pysmt/smtlib/parser/__init__.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/smtlib/parser copying build/lib/pysmt/smtlib/parser/parser.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/smtlib/parser copying build/lib/pysmt/smtlib/__init__.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/printers.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/annotations.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/script.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/commands.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/solver.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/smtlib copying build/lib/pysmt/printers.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt copying build/lib/pysmt/typing.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt copying build/lib/pysmt/oracles.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt copying build/lib/pysmt/parsing.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt copying build/lib/pysmt/operators.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt copying build/lib/pysmt/substituter.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt copying build/lib/pysmt/formula.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt copying build/lib/pysmt/environment.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt copying build/lib/pysmt/fnode.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt copying build/lib/pysmt/constants.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt copying build/lib/pysmt/factory.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt copying build/lib/pysmt/rewritings.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt copying build/lib/pysmt/exceptions.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt copying build/lib/pysmt/utils.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt creating /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/cmd creating /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/pico.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/__init__.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/base.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/msat.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/z3.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/yices.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/bdd.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/cvc4.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/btor.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/check_version.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/cmd copying build/lib/pysmt/cmd/install.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/cmd copying build/lib/pysmt/cmd/__init__.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/cmd copying build/lib/pysmt/cmd/shell.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/cmd creating /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test creating /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/parser_utils.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_nia.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_nra.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_fuzzed.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_extensibility.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_griggio.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_lra.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_generic_wrapper.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_ufbv.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_lira.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_annotations.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_examples.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_lra.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_type_error.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_lia.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_arrays.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/__init__.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_smtlibscript.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/test_native_qe.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_walkers.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_interpolation.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/__init__.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_bv_simplification.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_sorts.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_typechecker.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_simplify.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_walker_ext.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_eager_model.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_array.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/examples.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_hr_parsing.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_lira.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_oracles.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_formula.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_cvc4_quantifiers.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_configuration.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_dwf.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_regressions.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_imports.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_back.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_portfolio.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_int.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_printing.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_solving.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_euf.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_env.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_unsat_cores.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_bv.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_bdd.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_size.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_qe.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_shannon_expansion.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_models.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_constants.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_rewritings.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_cnf.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_logics.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_nlira.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/test/test_string.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test copying build/lib/pysmt/__init__.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt copying build/lib/pysmt/type_checker.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt copying build/lib/pysmt/decorators.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt copying build/lib/pysmt/simplifier.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt copying build/lib/pysmt/configuration.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt creating /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/walkers copying build/lib/pysmt/walkers/dag.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/walkers copying build/lib/pysmt/walkers/tree.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/walkers copying build/lib/pysmt/walkers/__init__.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/walkers copying build/lib/pysmt/walkers/identitydag.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/walkers copying build/lib/pysmt/walkers/generic.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/walkers copying build/lib/pysmt/shortcuts.py -> /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/solvers/smtlib.py to smtlib.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/solvers/interpolation.py to interpolation.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/solvers/cvc4.py to cvc4.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/solvers/options.py to options.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/solvers/yices.py to yices.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/solvers/btor.py to btor.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/solvers/eager.py to eager.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/solvers/pico.py to pico.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/solvers/msat.py to msat.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/solvers/portfolio.py to portfolio.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/solvers/qelim.py to qelim.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/solvers/__init__.py to __init__.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/solvers/bdd.py to bdd.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/solvers/solver.py to solver.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/solvers/z3.py to z3.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/logics.py to logics.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/smtlib/parser/__init__.py to __init__.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/smtlib/parser/parser.py to parser.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/smtlib/__init__.py to __init__.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/smtlib/printers.py to printers.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/smtlib/annotations.py to annotations.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/smtlib/script.py to script.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/smtlib/commands.py to commands.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/smtlib/solver.py to solver.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/printers.py to printers.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/typing.py to typing.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/oracles.py to oracles.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/parsing.py to parsing.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/operators.py to operators.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/substituter.py to substituter.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/formula.py to formula.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/environment.py to environment.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/fnode.py to fnode.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/constants.py to constants.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/factory.py to factory.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/rewritings.py to rewritings.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/exceptions.py to exceptions.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/utils.py to utils.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/cmd/installers/pico.py to pico.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/cmd/installers/__init__.py to __init__.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/cmd/installers/base.py to base.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/cmd/installers/msat.py to msat.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/cmd/installers/z3.py to z3.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/cmd/installers/yices.py to yices.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/cmd/installers/bdd.py to bdd.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/cmd/installers/cvc4.py to cvc4.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/cmd/installers/btor.py to btor.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/cmd/check_version.py to check_version.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/cmd/install.py to install.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/cmd/__init__.py to __init__.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/cmd/shell.py to shell.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib/parser_utils.py to parser_utils.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib/test_parser_qf_nia.py to test_parser_qf_nia.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib/test_parser_qf_nra.py to test_parser_qf_nra.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib/test_fuzzed.py to test_fuzzed.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib/test_parser_extensibility.py to test_parser_extensibility.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib/test_griggio.py to test_griggio.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib/test_parser_lra.py to test_parser_lra.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib/test_generic_wrapper.py to test_generic_wrapper.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib/test_parser_qf_ufbv.py to test_parser_qf_ufbv.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib/test_parser_qf_lira.py to test_parser_qf_lira.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib/test_annotations.py to test_annotations.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib/test_parser_examples.py to test_parser_examples.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib/test_parser_qf_lra.py to test_parser_qf_lra.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib/test_parser_type_error.py to test_parser_type_error.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib/test_parser_qf_lia.py to test_parser_qf_lia.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib/test_parser_qf_arrays.py to test_parser_qf_arrays.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib/__init__.py to __init__.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/smtlib/test_smtlibscript.py to test_smtlibscript.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_native_qe.py to test_native_qe.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_walkers.py to test_walkers.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_interpolation.py to test_interpolation.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/__init__.py to __init__.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_bv_simplification.py to test_bv_simplification.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_sorts.py to test_sorts.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_typechecker.py to test_typechecker.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_simplify.py to test_simplify.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_walker_ext.py to test_walker_ext.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_eager_model.py to test_eager_model.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_array.py to test_array.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/examples.py to examples.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_hr_parsing.py to test_hr_parsing.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_lira.py to test_lira.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_oracles.py to test_oracles.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_formula.py to test_formula.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_cvc4_quantifiers.py to test_cvc4_quantifiers.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_configuration.py to test_configuration.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_dwf.py to test_dwf.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_regressions.py to test_regressions.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_imports.py to test_imports.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_back.py to test_back.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_portfolio.py to test_portfolio.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_int.py to test_int.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_printing.py to test_printing.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_solving.py to test_solving.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_euf.py to test_euf.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_env.py to test_env.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_unsat_cores.py to test_unsat_cores.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_bv.py to test_bv.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_bdd.py to test_bdd.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_size.py to test_size.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_qe.py to test_qe.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_shannon_expansion.py to test_shannon_expansion.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_models.py to test_models.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_constants.py to test_constants.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_rewritings.py to test_rewritings.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_cnf.py to test_cnf.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_logics.py to test_logics.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_nlira.py to test_nlira.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/test/test_string.py to test_string.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/__init__.py to __init__.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/type_checker.py to type_checker.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/decorators.py to decorators.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/simplifier.py to simplifier.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/configuration.py to configuration.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/walkers/dag.py to dag.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/walkers/tree.py to tree.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/walkers/__init__.py to __init__.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/walkers/identitydag.py to identitydag.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/walkers/generic.py to generic.pyc byte-compiling /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/pysmt/shortcuts.py to shortcuts.pyc writing byte-compilation script '/tmp/tmpDJ7aUF.py' /usr/local/bin/python2.7 -O /tmp/tmpDJ7aUF.py removing /tmp/tmpDJ7aUF.py running install_egg_info Copying PySMT.egg-info to /construction/math/py-pysmt/stage/usr/local/lib/python2.7/site-packages/PySMT-0.8.0-py2.7.egg-info running install_scripts Installing pysmt-install script to /construction/math/py-pysmt/stage/usr/local/bin Installing pysmt-shell script to /construction/math/py-pysmt/stage/usr/local/bin Installing pysmt 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-2.7 Move: bin/pysmt-shell --> bin/pysmt-shell-2.7 Move: bin/pysmt --> bin/pysmt-2.7 ====> 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:02 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for py27-pysmt-0.8.0 file sizes/checksums [372]: 0% file sizes/checksums [372]: 26% file sizes/checksums [372]: 53% file sizes/checksums [372]: 80% file sizes/checksums [372]: 100% packing files [372]: 0% packing files [372]: 26% packing files [372]: 53% packing files [372]: 80% packing files [372]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:02 TOTAL TIME 00:00:10