=> Building math/py-cryptominisat@py27 Started : Thursday, 19 APR 2018 at 01:22:30 UTC Platform: 5.3-DEVELOPMENT DragonFly v5.3.0.81.g32506c-DEVELOPMENT #29: Tue Apr 10 08:49:52 PDT 2018 marino@pkgbox64.dragonflybsd.org:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 -------------------------------------------------- -- Environment -------------------------------------------------- UNAME_r=5.0-SYNTH UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=DragonFly 5.0-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=gcc50 -------------------------------------------------- -- 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=gcc50 LDSHARED="cc -shared" PYTHONDONTWRITEBYTECODE= PYTHONOPTIMIZE= PREFIX=/usr/local LOCALBASE=/usr/local LIBDIR="/usr/lib" 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 -------------------------------------------------- PORTDOCS="" PORTEXAMPLES="" 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.0 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-5.0 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 _SMP_CPUS=8 UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=500000 OSVERSION=9999999 OSREL=5.0 _OSRELEASE=5.0-SYNTH -------------------------------------------------------------------------------- -- Phase: check-sanity -------------------------------------------------------------------------------- ===> License MIT accepted by the user -------------------------------------------------------------------------------- -- Phase: pkg-depends -------------------------------------------------------------------------------- ===> py27-cryptominisat-5.0.0_2 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.10.5.txz Installing pkg-1.10.5... Extracting pkg-1.10.5: .......... done ===> py27-cryptominisat-5.0.0_2 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of py27-cryptominisat-5.0.0_2 -------------------------------------------------------------------------------- -- Phase: fetch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: fetch -------------------------------------------------------------------------------- ===> License MIT accepted by the user ===> Fetching all distfiles required by py27-cryptominisat-5.0.0_2 for building -------------------------------------------------------------------------------- -- Phase: checksum -------------------------------------------------------------------------------- ===> License MIT accepted by the user ===> Fetching all distfiles required by py27-cryptominisat-5.0.0_2 for building => SHA256 Checksum OK for msoos-cryptominisat-5.0.0_GH0.tar.gz. -------------------------------------------------------------------------------- -- Phase: extract-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: extract -------------------------------------------------------------------------------- ===> License MIT accepted by the user ===> Fetching all distfiles required by py27-cryptominisat-5.0.0_2 for building ===> Extracting for py27-cryptominisat-5.0.0_2 => SHA256 Checksum OK for msoos-cryptominisat-5.0.0_GH0.tar.gz. -------------------------------------------------------------------------------- -- Phase: patch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: patch -------------------------------------------------------------------------------- ===> Patching for py27-cryptominisat-5.0.0_2 ===> Applying ports patches for py27-cryptominisat-5.0.0_2 /usr/bin/sed -i.bak -e 's|@PROJECT_VERSION@|5.0.0|' /construction/math/py-cryptominisat/cryptominisat-5.0.0/python/setup.py.in /bin/cp /construction/math/py-cryptominisat/cryptominisat-5.0.0/python/setup.py.in /construction/math/py-cryptominisat/cryptominisat-5.0.0/python/setup.py -------------------------------------------------------------------------------- -- Phase: build-depends -------------------------------------------------------------------------------- ===> py27-cryptominisat-5.0.0_2 depends on package: py27-setuptools>0 - not found ===> Installing existing package /packages/All/py27-setuptools-39.0.1.txz Installing py27-setuptools-39.0.1... `-- Installing python27-2.7.14_1... | `-- Installing expat-2.2.5... | `-- Extracting expat-2.2.5: .......... done | `-- Installing gettext-runtime-0.19.8.1_1... | | `-- Installing indexinfo-0.3.1... | | `-- Extracting indexinfo-0.3.1: .... done | `-- Extracting gettext-runtime-0.19.8.1_1: .......... done | `-- Installing libffi-3.2.1_2... | `-- Extracting libffi-3.2.1_2: .......... done | `-- Installing libressl-2.6.4... | `-- Extracting libressl-2.6.4: .......... done | `-- Installing ncurses-6.0.0s20171223_1... | `-- Extracting ncurses-6.0.0s20171223_1: .......... done | `-- Installing readline-7.0.3_1... | `-- Extracting readline-7.0.3_1: .......... done `-- Extracting python27-2.7.14_1: .......... done Extracting py27-setuptools-39.0.1: .......... done Message from python27-2.7.14_1: =========================================================================== 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.0.0_2 depends on package: py27-setuptools>0 - found ===> Returning to build of py27-cryptominisat-5.0.0_2 ===> py27-cryptominisat-5.0.0_2 depends on file: /usr/local/bin/python2.7 - found -------------------------------------------------------------------------------- -- Phase: lib-depends -------------------------------------------------------------------------------- ===> py27-cryptominisat-5.0.0_2 depends on shared library: libcryptominisat5.so - not found ===> Installing existing package /packages/All/cryptominisat-5.0.1_8.txz Installing cryptominisat-5.0.1_8... `-- Installing boost-libs-1.66.0... | `-- Installing icu-60.2_2,1... | `-- Extracting icu-60.2_2,1: .......... done `-- Extracting boost-libs-1.66.0: .......... done Extracting cryptominisat-5.0.1_8: .......... done Message from boost-libs-1.66.0: 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.0.0_2 depends on shared library: libcryptominisat5.so - found (/usr/local/lib/libcryptominisat5.so) ===> Returning to build of py27-cryptominisat-5.0.0_2 -------------------------------------------------------------------------------- -- Phase: configure -------------------------------------------------------------------------------- ===> Configuring for py27-cryptominisat-5.0.0_2 running config -------------------------------------------------------------------------------- -- Phase: build -------------------------------------------------------------------------------- ===> Building for py27-cryptominisat-5.0.0_2 running build running build_py file pycryptosat.py (for module pycryptosat) not found file pycryptosat.py (for module pycryptosat) not found running build_ext building 'pycryptosat' extension creating build creating build/temp.dragonfly-5.0-SYNTH-x86_64-2.7 cc -g -W -Wall -Wno-deprecated -std=c++11 -pipe -O2 -fno-strict-aliasing -fPIC -I/usr/local/include/python2.7 -c pycryptosat.cpp -o build/temp.dragonfly-5.0-SYNTH-x86_64-2.7/pycryptosat.o -I/usr/local/include -I../cmsat5-src pycryptosat.cpp: In function 'CMSat::SATSolver* setup_solver(PyObject*, PyObject*)': pycryptosat.cpp:52:71: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] static char* kwlist[] = {"verbose", "confl_limit", "threads", NULL}; ^ pycryptosat.cpp:52:71: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] pycryptosat.cpp:52:71: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] pycryptosat.cpp: In function 'PyObject* add_clause(Solver*, PyObject*, PyObject*)': pycryptosat.cpp:194:44: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] static char* kwlist[] = {"clause", NULL}; ^ pycryptosat.cpp: In function 'PyObject* add_xor_clause(Solver*, PyObject*, PyObject*)': pycryptosat.cpp:212:55: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] static char* kwlist[] = {"xor_clause", "rhs", NULL}; ^ pycryptosat.cpp:212:55: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] pycryptosat.cpp: In function 'PyObject* solve(Solver*, PyObject*, PyObject*)': pycryptosat.cpp:314:49: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] static char* kwlist[] = {"assumptions", NULL}; ^ pycryptosat.cpp: At global scope: pycryptosat.cpp:366:1: warning: missing initializer for member 'PyMethodDef::ml_flags' [-Wmissing-field-initializers] }; ^ pycryptosat.cpp:366:1: warning: missing initializer for member 'PyMethodDef::ml_doc' [-Wmissing-field-initializers] pycryptosat.cpp:373:1: warning: missing initializer for member 'PyMethodDef::ml_flags' [-Wmissing-field-initializers] }; ^ pycryptosat.cpp:373:1: warning: missing initializer for member 'PyMethodDef::ml_doc' [-Wmissing-field-initializers] pycryptosat.cpp:417:1: warning: missing initializer for member 'PyMemberDef::type' [-Wmissing-field-initializers] }; ^ pycryptosat.cpp:417:1: warning: missing initializer for member 'PyMemberDef::offset' [-Wmissing-field-initializers] pycryptosat.cpp:417:1: warning: missing initializer for member 'PyMemberDef::flags' [-Wmissing-field-initializers] pycryptosat.cpp:417:1: warning: missing initializer for member 'PyMemberDef::doc' [-Wmissing-field-initializers] pycryptosat.cpp:466:1: warning: missing initializer for member '_typeobject::tp_free' [-Wmissing-field-initializers] }; ^ pycryptosat.cpp:466:1: warning: missing initializer for member '_typeobject::tp_is_gc' [-Wmissing-field-initializers] pycryptosat.cpp:466:1: warning: missing initializer for member '_typeobject::tp_bases' [-Wmissing-field-initializers] pycryptosat.cpp:466:1: warning: missing initializer for member '_typeobject::tp_mro' [-Wmissing-field-initializers] pycryptosat.cpp:466:1: warning: missing initializer for member '_typeobject::tp_cache' [-Wmissing-field-initializers] pycryptosat.cpp:466:1: warning: missing initializer for member '_typeobject::tp_subclasses' [-Wmissing-field-initializers] pycryptosat.cpp:466:1: warning: missing initializer for member '_typeobject::tp_weaklist' [-Wmissing-field-initializers] pycryptosat.cpp:466:1: warning: missing initializer for member '_typeobject::tp_del' [-Wmissing-field-initializers] pycryptosat.cpp:466:1: warning: missing initializer for member '_typeobject::tp_version_tag' [-Wmissing-field-initializers] pycryptosat.cpp: In function 'void initpycryptosat()': pycryptosat.cpp:487:120: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] outofconflerr = PyErr_NewExceptionWithDoc("Solver.OutOfConflicts", "Ran out of the number of conflicts", NULL, NULL); ^ pycryptosat.cpp:487:120: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] creating build/lib.dragonfly-5.0-SYNTH-x86_64-2.7 c++ -shared -pipe -O2 -fno-strict-aliasing build/temp.dragonfly-5.0-SYNTH-x86_64-2.7/pycryptosat.o -L. -L/usr/local/lib -L/usr/local/lib -lcryptominisat5 -lpython2.7 -o build/lib.dragonfly-5.0-SYNTH-x86_64-2.7/pycryptosat.so -------------------------------------------------------------------------------- -- Phase: run-depends -------------------------------------------------------------------------------- ===> py27-cryptominisat-5.0.0_2 depends on package: py27-setuptools>0 - found ===> py27-cryptominisat-5.0.0_2 depends on file: /usr/local/bin/python2.7 - found -------------------------------------------------------------------------------- -- Phase: stage -------------------------------------------------------------------------------- ===> Staging for py27-cryptominisat-5.0.0_2 ===> Generating temporary packing list running install running build running build_py file pycryptosat.py (for module pycryptosat) not found file pycryptosat.py (for module pycryptosat) not found 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.0-SYNTH-x86_64-2.7/pycryptosat.so -> /construction/math/py-cryptominisat/stage/usr/local/lib/python2.7/site-packages writing byte-compilation script '/tmp/tmpXH6a0f.py' /usr/local/bin/python2.7 -O /tmp/tmpXH6a0f.py removing /tmp/tmpXH6a0f.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' file pycryptosat.py (for module pycryptosat) not found reading manifest file 'pycryptosat.egg-info/SOURCES.txt' 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-5.0.0-py2.7.egg-info running install_scripts file pycryptosat.py (for module pycryptosat) not found 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.0.0_2 file sizes/checksums [8]: . done packing files [8]: . done packing directories [0]: . done -------------------------------------------------- -- Termination -------------------------------------------------- Finished: Thursday, 19 APR 2018 at 01:22:51 UTC Duration: 00:00:20