=> Building math/py-cryptominisat@py27 Started : Friday, 8 MAR 2019 at 19:42:02 UTC Platform: 5.5-DEVELOPMENT DragonFly v5.5.0.192.g15ae7f0-DEVELOPMENT #34: Tue Feb 19 09:07:07 PST 2019 root@pkgbox64.dragonflybsd.org:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 -------------------------------------------------- -- Environment -------------------------------------------------- UNAME_r=5.5-SYNTH UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=DragonFly 5.5-SYNTH UNAME_s=DragonFly PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SSL_NO_VERIFY_PEER=1 TERM=dumb PKG_CACHEDIR=/var/cache/pkg8 PKG_DBDIR=/var/db/pkg8 PORTSDIR=/xports LANG=C HOME=/root USER=root -------------------------------------------------- -- Options -------------------------------------------------- -------------------------------------------------- -- CONFIGURE_ENV -------------------------------------------------- PYTHON="/usr/local/bin/python2.7" XDG_DATA_HOME=/construction/math/py-cryptominisat XDG_CONFIG_HOME=/construction/math/py-cryptominisat HOME=/construction/math/py-cryptominisat TMPDIR="/tmp" PATH=/construction/math/py-cryptominisat/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc80 -------------------------------------------------- -- CONFIGURE_ARGS -------------------------------------------------- -------------------------------------------------- -- MAKE_ENV -------------------------------------------------- XDG_DATA_HOME=/construction/math/py-cryptominisat XDG_CONFIG_HOME=/construction/math/py-cryptominisat HOME=/construction/math/py-cryptominisat TMPDIR="/tmp" PATH=/construction/math/py-cryptominisat/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin NO_PIE=yes 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" -------------------------------------------------- -- MAKE_ARGS -------------------------------------------------- DESTDIR=/construction/math/py-cryptominisat/stage -------------------------------------------------- -- PLIST_SUB -------------------------------------------------- PYTHON_INCLUDEDIR=include/python2.7 PYTHON_LIBDIR=lib/python2.7 PYTHON_PLATFORM=dragonfly5 PYTHON_PYOEXTENSION=pyo PYTHON_SITELIBDIR=lib/python2.7/site-packages PYTHON_SUFFIX=27 PYTHON_VER=2.7 PYTHON_VERSION=python2.7 PYTHON2="" PYTHON3="@comment " OSREL=5.5 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/cryptominisat" EXAMPLESDIR="share/examples/cryptominisat" DATADIR="share/cryptominisat" WWWDIR="www/cryptominisat" ETCDIR="etc/cryptominisat" -------------------------------------------------- -- SUB_LIST -------------------------------------------------- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/cryptominisat DOCSDIR=/usr/local/share/doc/cryptominisat EXAMPLESDIR=/usr/local/share/examples/cryptominisat WWWDIR=/usr/local/www/cryptominisat ETCDIR=/usr/local/etc/cryptominisat -------------------------------------------------- -- /etc/make.conf -------------------------------------------------- SYNTHPROFILE=Release-BE USE_PACKAGE_DEPENDS_ONLY=yes PACKAGE_BUILDING=yes BATCH=yes PKG_CREATE_VERBOSE=yes PORTSDIR=/xports DISTDIR=/distfiles WRKDIRPREFIX=/construction PORT_DBDIR=/options PACKAGES=/packages MAKE_JOBS_NUMBER_LIMIT=5 LICENSES_ACCEPTED= NONE HAVE_COMPAT_IA32_KERN= CONFIGURE_MAX_CMD_LEN=262144 _PERL5_FROM_BIN=5.26.2 _ALTCCVERSION_921dbbb2=none _OBJC_ALTCCVERSION_921dbbb2=none _SMP_CPUS=8 UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=500500 OSVERSION=9999999 OSREL=5.5 _OSRELEASE=5.5-SYNTH PYTHONBASE=/usr/local _PKG_CHECKED=1 -------------------------------------------------------------------------------- -- Phase: check-sanity -------------------------------------------------------------------------------- ===> License MIT LGPL21 accepted by the user -------------------------------------------------------------------------------- -- Phase: pkg-depends -------------------------------------------------------------------------------- ===> py27-cryptominisat-5.6.8 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.10.5_5.txz Installing pkg-1.10.5_5... Extracting pkg-1.10.5_5: .......... done ===> py27-cryptominisat-5.6.8 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of py27-cryptominisat-5.6.8 -------------------------------------------------------------------------------- -- Phase: fetch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: fetch -------------------------------------------------------------------------------- ===> License MIT LGPL21 accepted by the user ===> Fetching all distfiles required by py27-cryptominisat-5.6.8 for building -------------------------------------------------------------------------------- -- Phase: checksum -------------------------------------------------------------------------------- ===> License MIT LGPL21 accepted by the user ===> Fetching all distfiles required by py27-cryptominisat-5.6.8 for building => SHA256 Checksum OK for msoos-cryptominisat-5.6.8_GH0.tar.gz. -------------------------------------------------------------------------------- -- Phase: extract-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: extract -------------------------------------------------------------------------------- ===> License MIT LGPL21 accepted by the user ===> Fetching all distfiles required by py27-cryptominisat-5.6.8 for building ===> Extracting for py27-cryptominisat-5.6.8 => SHA256 Checksum OK for msoos-cryptominisat-5.6.8_GH0.tar.gz. -------------------------------------------------------------------------------- -- Phase: patch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: patch -------------------------------------------------------------------------------- ===> Patching for py27-cryptominisat-5.6.8 ===> Applying ports patches for py27-cryptominisat-5.6.8 /usr/bin/sed -i.bak -e 's|@PROJECT_VERSION@|5.6.8|' -e 's|${CMAKE_C_COMPILER}|cc|' -e 's|${CMAKE_CXX_COMPILER}|c++|' -e 's|${PY_C_CONFIG}||' -e 's|${PY_LD_CONFIG}||' -e 's|${CMS_FULL_VERSION}|5.6.8|' -e 's|${APPLE}||' /construction/math/py-cryptominisat/cryptominisat-5.6.8/python/setup.py.in /bin/cp /construction/math/py-cryptominisat/cryptominisat-5.6.8/python/setup.py.in /construction/math/py-cryptominisat/cryptominisat-5.6.8/python/setup.py /bin/cp /construction/math/py-cryptominisat/cryptominisat-5.6.8/python/src/pycryptosat.cpp.in /construction/math/py-cryptominisat/cryptominisat-5.6.8/python/src/pycryptosat.cpp -------------------------------------------------------------------------------- -- Phase: build-depends -------------------------------------------------------------------------------- ===> py27-cryptominisat-5.6.8 depends on package: py27-setuptools>0 - not found ===> Installing existing package /packages/All/py27-setuptools-40.8.0.txz Installing py27-setuptools-40.8.0... `-- Installing python27-2.7.15... | `-- Installing expat-2.2.6_1... | `-- Extracting expat-2.2.6_1: .......... done | `-- Installing gettext-runtime-0.19.8.1_2... | | `-- Installing indexinfo-0.3.1... | | `-- Extracting indexinfo-0.3.1: .... done | `-- Extracting gettext-runtime-0.19.8.1_2: .......... done | `-- Installing libffi-3.2.1_3... | `-- Extracting libffi-3.2.1_3: .......... done | `-- Installing libressl-2.8.3... | `-- Extracting libressl-2.8.3: .......... done | `-- Installing ncurses-6.1.20190112... | `-- Extracting ncurses-6.1.20190112: .......... done | `-- Installing readline-7.0.5... | `-- Extracting readline-7.0.5: .......... done `-- Extracting python27-2.7.15: .......... done Extracting py27-setuptools-40.8.0: .......... done Message from python27-2.7.15: =========================================================================== 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 =========================================================================== ===> py27-cryptominisat-5.6.8 depends on package: py27-setuptools>0 - found ===> Returning to build of py27-cryptominisat-5.6.8 ===> py27-cryptominisat-5.6.8 depends on file: /usr/local/bin/python2.7 - found -------------------------------------------------------------------------------- -- Phase: lib-depends -------------------------------------------------------------------------------- ===> py27-cryptominisat-5.6.8 depends on shared library: libcryptominisat5.so - not found ===> Installing existing package /packages/All/cryptominisat-5.6.8.txz Installing cryptominisat-5.6.8... `-- Installing boost-libs-1.69.0_1... | `-- Installing icu-63.1_1,1... | `-- Extracting icu-63.1_1,1: .......... done `-- Extracting boost-libs-1.69.0_1: .......... done Extracting cryptominisat-5.6.8: .......... done Message from boost-libs-1.69.0_1: You have built the Boost library with thread support. Don't forget to add -pthread to your linker options when linking your code. ===> py27-cryptominisat-5.6.8 depends on shared library: libcryptominisat5.so - found (/usr/local/lib/libcryptominisat5.so) ===> Returning to build of py27-cryptominisat-5.6.8 -------------------------------------------------------------------------------- -- Phase: configure -------------------------------------------------------------------------------- ===> Configuring for py27-cryptominisat-5.6.8 running config -------------------------------------------------------------------------------- -- Phase: build -------------------------------------------------------------------------------- ===> Building for py27-cryptominisat-5.6.8 running build running build_ext building 'pycryptosat' extension creating build creating build/temp.dragonfly-5.5-SYNTH-x86_64-2.7 creating build/temp.dragonfly-5.5-SYNTH-x86_64-2.7/src cc -g -W -Wall -Wno-deprecated -std=c++11 -pipe -O2 -fno-strict-aliasing -fPIC -DLIBRARY_VERSION="5.6.8" -I/usr/local/include/python2.7 -c src/pycryptosat.cpp -o build/temp.dragonfly-5.5-SYNTH-x86_64-2.7/src/pycryptosat.o -I/usr/local/include -I../cmsat5-src -xc++ cc: warning: '-x c++' after last input file has no effect src/pycryptosat.cpp: In function 'CMSat::SATSolver* setup_solver(PyObject*, PyObject*)': src/pycryptosat.cpp:94:85: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] static char* kwlist[] = {"verbose", "time_limit", "confl_limit", "threads", NULL}; ^ src/pycryptosat.cpp:94:85: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] src/pycryptosat.cpp:94:85: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] src/pycryptosat.cpp:94:85: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] src/pycryptosat.cpp: In function 'PyObject* start_getting_small_clauses(Solver*, PyObject*, PyObject*)': src/pycryptosat.cpp:242:57: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] static char* kwlist[] = {"max_len", "max_glue", NULL}; ^ src/pycryptosat.cpp:242:57: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] src/pycryptosat.cpp: In function 'PyObject* get_next_small_clause(Solver*, PyObject*, PyObject*)': src/pycryptosat.cpp:263:15: warning: unused variable 'max_len' [-Wunused-variable] PyObject *max_len; ^~~~~~~ src/pycryptosat.cpp: In function 'PyObject* end_getting_small_clauses(Solver*, PyObject*, PyObject*)': src/pycryptosat.cpp:297:15: warning: unused variable 'max_len' [-Wunused-variable] PyObject *max_len; ^~~~~~~ src/pycryptosat.cpp: In function 'PyObject* add_clause(Solver*, PyObject*, PyObject*)': src/pycryptosat.cpp:330:44: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] static char* kwlist[] = {"clause", NULL}; ^ src/pycryptosat.cpp: In function 'int add_clauses_array(Solver*, PyObject*)': src/pycryptosat.cpp:474:77: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] PyObject *buffer_info = PyObject_CallMethod(clauses, "buffer_info", NULL); ^ src/pycryptosat.cpp: In function 'PyObject* add_clauses(Solver*, PyObject*, PyObject*)': src/pycryptosat.cpp:498:56: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] static char* kwlist[] = {"clauses", "max_var", NULL}; ^ src/pycryptosat.cpp:498:56: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] src/pycryptosat.cpp: In function 'PyObject* add_xor_clause(Solver*, PyObject*, PyObject*)': src/pycryptosat.cpp:546:55: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] static char* kwlist[] = {"xor_clause", "rhs", NULL}; ^ src/pycryptosat.cpp:546:55: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] src/pycryptosat.cpp: In function 'PyObject* solve(Solver*, PyObject*, PyObject*)': src/pycryptosat.cpp:734:49: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] static char* kwlist[] = {"assumptions", NULL}; ^ src/pycryptosat.cpp:785:115: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] return PyErr_NewExceptionWithDoc("pycyrptosat.IllegalState", "Error Occurred in CyrptoMiniSat", NULL, NULL); ^ src/pycryptosat.cpp:785:115: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] src/pycryptosat.cpp: In function 'PyObject* msolve_selected(Solver*, PyObject*, PyObject*)': src/pycryptosat.cpp:858:80: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] static char* kwlist[] = {"max_nr_of_solutions", "var_selected", "raw", NULL}; ^ src/pycryptosat.cpp:858:80: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] src/pycryptosat.cpp:858:80: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] src/pycryptosat.cpp: At global scope: src/pycryptosat.cpp:965:33: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] {"solve", (PyCFunction) solve, METH_VARARGS | METH_KEYWORDS, solve_doc}, ^~~~~ src/pycryptosat.cpp:966:33: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] {"add_clause",(PyCFunction) add_clause, METH_VARARGS | METH_KEYWORDS, add_clause_doc}, ^~~~~~~~~~ src/pycryptosat.cpp:967:35: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] {"add_clauses", (PyCFunction) add_clauses, METH_VARARGS | METH_KEYWORDS, add_clauses_doc}, ^~~~~~~~~~~ src/pycryptosat.cpp:968:37: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] {"add_xor_clause",(PyCFunction) add_xor_clause, METH_VARARGS | METH_KEYWORDS, "adds an XOR clause to the system"}, ^~~~~~~~~~~~~~ src/pycryptosat.cpp:969:31: warning: cast between incompatible function types from 'PyObject* (*)(Solver*)' {aka '_object* (*)(Solver*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] {"nb_vars", (PyCFunction) nb_vars, METH_VARARGS | METH_KEYWORDS, nb_vars_doc}, ^~~~~~~ src/pycryptosat.cpp:971:39: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] {"msolve_selected", (PyCFunction) msolve_selected, METH_VARARGS | METH_KEYWORDS, msolve_selected_doc}, ^~~~~~~~~~~~~~~ src/pycryptosat.cpp:972:38: warning: cast between incompatible function types from 'PyObject* (*)(Solver*)' {aka '_object* (*)(Solver*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] {"is_satisfiable", (PyCFunction) is_satisfiable, METH_VARARGS | METH_KEYWORDS, is_satisfiable_doc}, ^~~~~~~~~~~~~~ src/pycryptosat.cpp:974:51: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] {"start_getting_small_clauses", (PyCFunction) start_getting_small_clauses, METH_VARARGS | METH_KEYWORDS, start_getting_small_clauses_doc}, ^~~~~~~~~~~~~~~~~~~~~~~~~~~ src/pycryptosat.cpp:975:45: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] {"get_next_small_clause", (PyCFunction) get_next_small_clause, METH_VARARGS | METH_KEYWORDS, get_next_small_clause_doc}, ^~~~~~~~~~~~~~~~~~~~~ src/pycryptosat.cpp:976:49: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] {"end_getting_small_clauses", (PyCFunction) end_getting_small_clauses, METH_VARARGS | METH_KEYWORDS, end_getting_small_clauses_doc}, ^~~~~~~~~~~~~~~~~~~~~~~~~ src/pycryptosat.cpp:978:1: warning: missing initializer for member 'PyMethodDef::ml_flags' [-Wmissing-field-initializers] }; ^ src/pycryptosat.cpp:978:1: warning: missing initializer for member 'PyMethodDef::ml_doc' [-Wmissing-field-initializers] src/pycryptosat.cpp:1021:1: warning: missing initializer for member 'PyMemberDef::type' [-Wmissing-field-initializers] }; ^ src/pycryptosat.cpp:1021:1: warning: missing initializer for member 'PyMemberDef::offset' [-Wmissing-field-initializers] src/pycryptosat.cpp:1021:1: warning: missing initializer for member 'PyMemberDef::flags' [-Wmissing-field-initializers] src/pycryptosat.cpp:1021:1: warning: missing initializer for member 'PyMemberDef::doc' [-Wmissing-field-initializers] src/pycryptosat.cpp:1062:1: warning: missing initializer for member '_typeobject::tp_free' [-Wmissing-field-initializers] }; ^ src/pycryptosat.cpp:1062:1: warning: missing initializer for member '_typeobject::tp_is_gc' [-Wmissing-field-initializers] src/pycryptosat.cpp:1062:1: warning: missing initializer for member '_typeobject::tp_bases' [-Wmissing-field-initializers] src/pycryptosat.cpp:1062:1: warning: missing initializer for member '_typeobject::tp_mro' [-Wmissing-field-initializers] src/pycryptosat.cpp:1062:1: warning: missing initializer for member '_typeobject::tp_cache' [-Wmissing-field-initializers] src/pycryptosat.cpp:1062:1: warning: missing initializer for member '_typeobject::tp_subclasses' [-Wmissing-field-initializers] src/pycryptosat.cpp:1062:1: warning: missing initializer for member '_typeobject::tp_weaklist' [-Wmissing-field-initializers] src/pycryptosat.cpp:1062:1: warning: missing initializer for member '_typeobject::tp_del' [-Wmissing-field-initializers] src/pycryptosat.cpp:1062:1: warning: missing initializer for member '_typeobject::tp_version_tag' [-Wmissing-field-initializers] creating build/lib.dragonfly-5.5-SYNTH-x86_64-2.7 c++ -shared -pipe -O2 -fno-strict-aliasing build/temp.dragonfly-5.5-SYNTH-x86_64-2.7/src/pycryptosat.o -L. -L/usr/local/lib -L/usr/local/lib -R${CMAKE_INSTALL_PREFIX}/${CMAKE_INSTALL_LIBDIR} -lcryptominisat5 -lpython2.7 -o build/lib.dragonfly-5.5-SYNTH-x86_64-2.7/pycryptosat.so -------------------------------------------------------------------------------- -- Phase: run-depends -------------------------------------------------------------------------------- ===> py27-cryptominisat-5.6.8 depends on package: py27-setuptools>0 - found ===> py27-cryptominisat-5.6.8 depends on file: /usr/local/bin/python2.7 - found -------------------------------------------------------------------------------- -- Phase: stage -------------------------------------------------------------------------------- ===> Staging for py27-cryptominisat-5.6.8 ===> Generating temporary packing list running install running build running build_ext running install_lib creating /construction/math/py-cryptominisat/stage/usr/local/lib/python2.7 creating /construction/math/py-cryptominisat/stage/usr/local/lib/python2.7/site-packages copying build/lib.dragonfly-5.5-SYNTH-x86_64-2.7/pycryptosat.so -> /construction/math/py-cryptominisat/stage/usr/local/lib/python2.7/site-packages writing byte-compilation script '/tmp/tmpPD44SE.py' /usr/local/bin/python2.7 -O /tmp/tmpPD44SE.py removing /tmp/tmpPD44SE.py running install_egg_info running egg_info creating pycryptosat.egg-info writing pycryptosat.egg-info/PKG-INFO writing top-level names to pycryptosat.egg-info/top_level.txt writing dependency_links to pycryptosat.egg-info/dependency_links.txt writing manifest file 'pycryptosat.egg-info/SOURCES.txt' reading manifest file 'pycryptosat.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' warning: no files found matching '*.h' under directory 'cryptominisat5' warning: no files found matching '*.h' under directory 'src' writing manifest file 'pycryptosat.egg-info/SOURCES.txt' Copying pycryptosat.egg-info to /construction/math/py-cryptominisat/stage/usr/local/lib/python2.7/site-packages/pycryptosat-0.2.0-py2.7.egg-info running install_scripts writing list of installed files to '/construction/math/py-cryptominisat/.PLIST.pymodtmp' /usr/bin/strip /construction/math/py-cryptominisat/stage/usr/local/lib/python2.7/site-packages/pycryptosat.so ====> Compressing man pages (compress-man) -------------------------------------------------------------------------------- -- Phase: package -------------------------------------------------------------------------------- ===> Building package for py27-cryptominisat-5.6.8 file sizes/checksums [9]: . done packing files [9]: . done packing directories [0]: . done -------------------------------------------------- -- Termination -------------------------------------------------- Finished: Friday, 8 MAR 2019 at 19:42:16 UTC Duration: 00:00:14