------------------------------------------------------------------------------- -- 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.1.txz Installing /packages/All/openssl-1.1.1d,1.txz Installing /packages/All/python27-2.7.17_1.txz ===== Message from python27-2.7.17_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 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. Installing /packages/All/icu-66.1,1.txz Installing /packages/All/boost-libs-1.72.0_1.txz ===== Message from boost-libs-1.72.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. Installing /packages/All/cryptominisat-5.6.8_5.txz SUCCEEDED 00:00:23 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> py27-cryptominisat-5.6.8_1 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> py27-cryptominisat-5.6.8_1 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by py27-cryptominisat-5.6.8_1 for building SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> py27-cryptominisat-5.6.8_1 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by py27-cryptominisat-5.6.8_1 for building => SHA256 Checksum OK for msoos-cryptominisat-5.6.8_GH0.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> py27-cryptominisat-5.6.8_1 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by py27-cryptominisat-5.6.8_1 for building ===> Extracting for py27-cryptominisat-5.6.8_1 => SHA256 Checksum OK for msoos-cryptominisat-5.6.8_GH0.tar.gz. Extracted Memory Use: 3.84M SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for py27-cryptominisat-5.6.8_1 ===> Applying ports patches for py27-cryptominisat-5.6.8_1 /usr/bin/env WRKSRC=/construction/math/py-cryptominisat/cryptominisat-5.6.8/python REWARNFILE=/construction/math/py-cryptominisat/reinplace_warnings.txt /xports/Tools/scripts/sed_checked.sh -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 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> py27-cryptominisat-5.6.8_1 depends on package: py27-setuptools>0 - found ===> py27-cryptominisat-5.6.8_1 depends on file: /usr/local/bin/python2.7 - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- ===> py27-cryptominisat-5.6.8_1 depends on shared library: libcryptominisat5.so - found (/usr/local/lib/libcryptominisat5.so) SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> py27-cryptominisat-5.6.8_1 depends on package: py27-setuptools>0 - found ===> py27-cryptominisat-5.6.8_1 depends on file: /usr/local/bin/python2.7 - found ===> py27-cryptominisat-5.6.8_1 depends on shared library: libcryptominisat5.so - found (/usr/local/lib/libcryptominisat5.so) ===> Configuring for py27-cryptominisat-5.6.8_1 running config SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for py27-cryptominisat-5.6.8_1 running build running build_ext building 'pycryptosat' extension creating build creating build/temp.dragonfly-5.9-x86_64-2.7 creating build/temp.dragonfly-5.9-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.9-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.9-x86_64-2.7 c++ -shared -pipe -O2 -fno-strict-aliasing build/temp.dragonfly-5.9-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.9-x86_64-2.7/pycryptosat.so SUCCEEDED 00:00:04 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- ===> py27-cryptominisat-5.6.8_1 depends on package: py27-setuptools>0 - found ===> py27-cryptominisat-5.6.8_1 depends on file: /usr/local/bin/python2.7 - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for py27-cryptominisat-5.6.8_1 ===> py27-cryptominisat-5.6.8_1 depends on package: py27-setuptools>0 - found ===> py27-cryptominisat-5.6.8_1 depends on file: /usr/local/bin/python2.7 - found ===> 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.9-x86_64-2.7/pycryptosat.so -> /construction/math/py-cryptominisat/stage/usr/local/lib/python2.7/site-packages writing byte-compilation script '/tmp/tmp1Dtpe9.py' /usr/local/bin/python2.7 -O /tmp/tmp1Dtpe9.py removing /tmp/tmp1Dtpe9.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) ====> Running Q/A tests (stage-qa) Error: /usr/local/lib/python2.7/site-packages/pycryptosat.so is linked to /usr/local/lib/libintl.so.8 from devel/gettext-runtime but it is not declared as a dependency Warning: you need USES+=gettext-runtime Warning: You have disabled the licenses framework with DISABLE_LICENSES, unable to run checks SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for py27-cryptominisat-5.6.8_1 file sizes/checksums [5]: 0% file sizes/checksums [5]: 100% packing files [5]: 0% packing files [5]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:00 TOTAL TIME 00:00:30