====>> Building math/cryptominisat build started at Sun Sep 4 16:06:32 BST 2016 port directory: /usr/ports/math/cryptominisat building for: FreeBSD 102amd64-system-job-01 10.2-RELEASE-p8 FreeBSD 10.2-RELEASE-p8 amd64 maintained by: 6yearold@gmail.com Makefile ident: $FreeBSD: head/math/cryptominisat/Makefile 421212 2016-09-01 13:25:49Z cpm $ Poudriere version: 3.1.14 Host OSVERSION: 1100122 Jail OSVERSION: 1002000 ---Begin Environment--- SHELL=/bin/csh UNAME_v=FreeBSD 10.2-RELEASE-p8 UNAME_r=10.2-RELEASE-p8 BLOCKSIZE=K MAIL=/var/mail/root STATUS=1 OPSYS=FreeBSD ARCH=amd64 SAVED_TERM=xterm MASTERMNT=/space/poudriere/poudriere_data/.m/102amd64-system/ref UID=0 FORCE_PACKAGE=yes PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/games:/usr/local/sbin:/usr/local/bin:/root/bin _JAVA_VERSION_LIST_REGEXP=1.6\|1.7\|1.8\|1.6+\|1.7+\|1.8+ POUDRIERE_BUILD_TYPE=bulk PKGNAME=cryptominisat-5.0.0 OSREL=10.2 _OSRELEASE=10.2-RELEASE-p8 PYTHONBASE=/usr/local OLDPWD=/ _SMP_CPUS=4 PWD=/space/poudriere/poudriere_data/.m/102amd64-system/ref/.p/pool HAVE_COMPAT_IA32_KERN=YES LINUX_OSRELEASE=2.6.32 MASTERNAME=102amd64-system SCRIPTPREFIX=/usr/local/share/poudriere _JAVA_VENDOR_LIST_REGEXP=openjdk\|oracle\|sun USER=root HOME=/root POUDRIERE_VERSION=3.1.14 SCRIPTPATH=/usr/local/share/poudriere/bulk.sh CONFIGURE_MAX_CMD_LEN=262144 LIBEXECPREFIX=/usr/local/libexec/poudriere LOCALBASE=/usr/local PACKAGE_BUILDING=yes _JAVA_OS_LIST_REGEXP=native\|linux OSVERSION=1002000 ---End Environment--- ---Begin OPTIONS List--- ---End OPTIONS List--- --CONFIGURE_ARGS-- --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/math/cryptominisat/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/cryptominisat/work HOME=/wrkdirs/usr/ports/math/cryptominisat/work TMPDIR="/tmp" SHELL=/bin/sh CONFIG_SHELL=/bin/sh --End CONFIGURE_ENV-- --MAKE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/math/cryptominisat/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/cryptominisat/work HOME=/wrkdirs/usr/ports/math/cryptominisat/work TMPDIR="/tmp" NO_PIE=yes WITHOUT_DEBUG_FILES=yes WITHOUT_KERNEL_SYMBOLS=yes SHELL=/bin/sh NO_LINT=YES PREFIX=/usr/local LOCALBASE=/usr/local LIBDIR="/usr/lib" CC="cc" CFLAGS="-O2 -pipe -fstack-protector -fno-strict-aliasing" CPP="cpp" CPPFLAGS="" LDFLAGS=" -fstack-protector" LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector -fno-strict-aliasing " MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 444" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" --End MAKE_ENV-- --PLIST_SUB-- CMAKE_BUILD_TYPE="release" OSREL=10.2 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local PORTDOCS="" PORTEXAMPLES="" LIB32DIR=lib DOCSDIR="share/doc/cryptominisat" EXAMPLESDIR="share/examples/cryptominisat" DATADIR="share/cryptominisat" WWWDIR="www/cryptominisat" ETCDIR="etc/cryptominisat" --End PLIST_SUB-- --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 --End SUB_LIST-- ---Begin make.conf--- USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles #### /usr/local/etc/poudriere.d/102amd64-make.conf #### WITH_NEW_XORG=yes ENABLE_SUIDPERL=yes JADETEX=yes LIGHTTPD=yes OPTIONS_SET=APACHE PGSQL SWAT PDO_PGSQL CUPS SASL OPTIONS_UNSET=MYSQL MPDDIR=/space/music DISABLE_MAKE_JOBS=poudriere ---End make.conf--- =================================================== /!\ WARNING /!\ WITH_NEW_XORG and WITHOUT_NEW_XORG knobs were removed and have no effect ===> License LGPL3 accepted by the user =========================================================================== =================================================== ===> cryptominisat-5.0.0 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.8.7_1.txz [102amd64-system-job-01] Installing pkg-1.8.7_1... [102amd64-system-job-01] Extracting pkg-1.8.7_1: .......... done ===> cryptominisat-5.0.0 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of cryptominisat-5.0.0 =========================================================================== =================================================== =========================================================================== =================================================== /!\ WARNING /!\ WITH_NEW_XORG and WITHOUT_NEW_XORG knobs were removed and have no effect ===> License LGPL3 accepted by the user ===> Fetching all distfiles required by cryptominisat-5.0.0 for building =========================================================================== =================================================== /!\ WARNING /!\ WITH_NEW_XORG and WITHOUT_NEW_XORG knobs were removed and have no effect ===> License LGPL3 accepted by the user ===> Fetching all distfiles required by cryptominisat-5.0.0 for building => SHA256 Checksum OK for msoos-cryptominisat-5.0.0_GH0.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== /!\ WARNING /!\ WITH_NEW_XORG and WITHOUT_NEW_XORG knobs were removed and have no effect ===> License LGPL3 accepted by the user ===> Fetching all distfiles required by cryptominisat-5.0.0 for building ===> Extracting for cryptominisat-5.0.0 => SHA256 Checksum OK for msoos-cryptominisat-5.0.0_GH0.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> Patching for cryptominisat-5.0.0 =========================================================================== =================================================== ===> cryptominisat-5.0.0 depends on executable: xxd - not found ===> Installing existing package /packages/All/vim-lite-7.4.1832.txz [102amd64-system-job-01] Installing vim-lite-7.4.1832... [102amd64-system-job-01] Extracting vim-lite-7.4.1832: .......... done ===> cryptominisat-5.0.0 depends on executable: xxd - found ===> Returning to build of cryptominisat-5.0.0 ===> cryptominisat-5.0.0 depends on file: /usr/local/bin/cmake - not found ===> Installing existing package /packages/All/cmake-3.6.1.txz [102amd64-system-job-01] Installing cmake-3.6.1... [102amd64-system-job-01] `-- Installing expat-2.2.0... [102amd64-system-job-01] `-- Extracting expat-2.2.0: .......... done [102amd64-system-job-01] `-- Installing cmake-modules-3.6.1... [102amd64-system-job-01] `-- Extracting cmake-modules-3.6.1: .......... done [102amd64-system-job-01] `-- Installing curl-7.50.1... [102amd64-system-job-01] | `-- Installing ca_root_nss-3.26... [102amd64-system-job-01] | `-- Extracting ca_root_nss-3.26: ....... done [102amd64-system-job-01] `-- Extracting curl-7.50.1: .......... done [102amd64-system-job-01] `-- Installing libarchive-3.2.1,1... [102amd64-system-job-01] | `-- Installing liblz4-131... [102amd64-system-job-01] | `-- Extracting liblz4-131: .......... done [102amd64-system-job-01] | `-- Installing lzo2-2.09... [102amd64-system-job-01] | `-- Extracting lzo2-2.09: .......... done [102amd64-system-job-01] `-- Extracting libarchive-3.2.1,1: .......... done [102amd64-system-job-01] `-- Installing jsoncpp-1.7.3... [102amd64-system-job-01] `-- Extracting jsoncpp-1.7.3: .......... done [102amd64-system-job-01] Extracting cmake-3.6.1: .......... done Message from ca_root_nss-3.26: ********************************* WARNING ********************************* FreeBSD does not, and can not warrant that the certification authorities whose certificates are included in this package have in any way been audited for trustworthiness or RFC 3647 compliance. Assessment and verification of trust is the complete responsibility of the system administrator. *********************************** NOTE ********************************** This package installs symlinks to support root certificates discovery by default for software that uses OpenSSL. This enables SSL Certificate Verification by client software without manual intervention. If you prefer to do this manually, replace the following symlinks with either an empty file or your site-local certificate bundle. * /etc/ssl/cert.pem * /usr/local/etc/ssl/cert.pem * /usr/local/openssl/cert.pem *************************************************************************** ===> cryptominisat-5.0.0 depends on file: /usr/local/bin/cmake - found ===> Returning to build of cryptominisat-5.0.0 =========================================================================== =================================================== ===> cryptominisat-5.0.0 depends on shared library: libboost_program_options.so - not found ===> Installing existing package /packages/All/boost-libs-1.55.0_12.txz [102amd64-system-job-01] Installing boost-libs-1.55.0_12... [102amd64-system-job-01] `-- Installing icu-55.1,1... [102amd64-system-job-01] `-- Extracting icu-55.1,1: .......... done [102amd64-system-job-01] Extracting boost-libs-1.55.0_12: .......... done Message from boost-libs-1.55.0_12: You have built the Boost library with thread support. Don't forget to add -pthread to your linker options when linking your code. ===> cryptominisat-5.0.0 depends on shared library: libboost_program_options.so - found (/usr/local/lib/libboost_program_options.so) ===> Returning to build of cryptominisat-5.0.0 =========================================================================== =================================================== ===> Configuring for cryptominisat-5.0.0 ===> Performing in-source build /bin/mkdir -p /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -- Doing a Release build -- The C compiler identification is Clang 3.4.1 -- The CXX compiler identification is Clang 3.4.1 -- Check for working C compiler: /usr/bin/cc -- Check for working C compiler: /usr/bin/cc -- works -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Detecting C compile features -- Detecting C compile features - done -- Check for working CXX compiler: /usr/bin/c++ -- Check for working CXX compiler: /usr/bin/c++ -- works -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Detecting CXX compile features -- Detecting CXX compile features - done -- build type is Release -- Performing Test HAVE_FLAG_-fno-stack-protector -- Performing Test HAVE_FLAG_-fno-stack-protector - Success -- No pthread will be used -- Performing Test HAVE_FLAG_-Wall -- Performing Test HAVE_FLAG_-Wall - Success -- flag -Wall supported -- Performing Test HAVE_FLAG_-Wextra -- Performing Test HAVE_FLAG_-Wextra - Success -- flag -Wextra supported -- Performing Test HAVE_FLAG_-Wunused -- Performing Test HAVE_FLAG_-Wunused - Success -- flag -Wunused supported -- Performing Test HAVE_FLAG_-pedantic -- Performing Test HAVE_FLAG_-pedantic - Success -- flag -pedantic supported -- Performing Test HAVE_FLAG_-Wsign-compare -- Performing Test HAVE_FLAG_-Wsign-compare - Success -- flag -Wsign-compare supported -- Performing Test HAVE_FLAG_-Wtype-limits -- Performing Test HAVE_FLAG_-Wtype-limits - Success -- flag -Wtype-limits supported -- Performing Test HAVE_FLAG_-Wuninitialized -- Performing Test HAVE_FLAG_-Wuninitialized - Success -- flag -Wuninitialized supported -- Performing Test HAVE_FLAG_-Wno-deprecated -- Performing Test HAVE_FLAG_-Wno-deprecated - Success -- flag -Wno-deprecated supported -- Performing Test HAVE_FLAG_-Wstrict-aliasing -- Performing Test HAVE_FLAG_-Wstrict-aliasing - Success -- flag -Wstrict-aliasing supported -- Performing Test HAVE_FLAG_-Wpointer-arith -- Performing Test HAVE_FLAG_-Wpointer-arith - Success -- flag -Wpointer-arith supported -- Performing Test HAVE_FLAG_-Wheader-guard -- Performing Test HAVE_FLAG_-Wheader-guard - Success -- flag -Wheader-guard supported -- flag -Wpointer-arith supported -- Performing Test HAVE_FLAG_-Wformat-nonliteral -- Performing Test HAVE_FLAG_-Wformat-nonliteral - Success -- flag -Wformat-nonliteral supported -- Performing Test HAVE_FLAG_-Winit-self -- Performing Test HAVE_FLAG_-Winit-self - Success -- flag -Winit-self supported -- Performing Test HAVE_FLAG_-Wparentheses -- Performing Test HAVE_FLAG_-Wparentheses - Success -- flag -Wparentheses supported -- Performing Test HAVE_FLAG_-Wunreachable-code -- Performing Test HAVE_FLAG_-Wunreachable-code - Success -- flag -Wunreachable-code supported -- Performing Test HAVE_FLAG_-ggdb3 -- Performing Test HAVE_FLAG_-ggdb3 - Success -- flag -ggdb3 supported -- PROJECT_VERSION: 5.0.0 -- PROJECT_VERSION_MAJOR: 5 -- PROJECT_VERSION_MINOR: 0 -- PROJECT_VERSION_PATCH: 0 -- Boost version: 1.55.0 -- Found the following Boost libraries: -- program_options -- Looking for pthread.h -- Looking for pthread.h - found -- Found Threads: TRUE -- Not compiling detailed statistics. Leads to faster system -- Found ZLIB: /usr/lib/libz.so (found version "1.2.8") -- OK, Found ZLIB! -- Valgrind Prefix: -- Could NOT find VALGRIND (missing: VALGRIND_INCLUDE_DIR VALGRIND_PROGRAM) -- Cannot find valgrind or it's disabled, we will not be able to mark memory pool objects as undefined -- All defines at startup: -DNDEBUG -D_FORTIFY_SOURCE=0 -DUSE_PTHREADS -DUSE_ZLIB -- Could NOT find PythonInterp (missing: PYTHON_EXECUTABLE) (Required is at least version "2.7") -- Could NOT find PythonLibs (missing: PYTHON_LIBRARIES PYTHON_INCLUDE_DIRS) (Required is at least version "2.7") CMake Warning at CMakeLists.txt:423 (message): Cannot find python interpreter, libs and header files, cannot build python interface -- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY -- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY - Success -- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY -- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY - Success -- Performing Test COMPILER_HAS_DEPRECATED_ATTR -- Performing Test COMPILER_HAS_DEPRECATED_ATTR - Success CMake Warning at CMakeLists.txt:485 (message): Testing is disabled -- Configuring done -- Generating done CMake Warning: Manually-specified variables were not used by the project: CMAKE_MODULE_LINKER_FLAGS -- Build files have been written to: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 =========================================================================== =================================================== ===> Building for cryptominisat-5.0.0 /usr/local/bin/cmake -H/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -B/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 --check-build-system CMakeFiles/Makefile.cmake 0 /usr/local/bin/cmake -E cmake_progress_start /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/CMakeFiles /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all /usr/bin/make -f cmsat5-src/CMakeFiles/tablestruct.dir/build.make cmsat5-src/CMakeFiles/tablestruct.dir/depend cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src/CMakeFiles/tablestruct.dir/DependInfo.cmake Scanning dependencies of target tablestruct /usr/bin/make -f cmsat5-src/CMakeFiles/tablestruct.dir/build.make cmsat5-src/CMakeFiles/tablestruct.dir/build [ 2%] Generating sql_tablestructure.cpp xxd -i cmsat_tablestructure.sql /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src/sql_tablestructure.cpp [ 2%] Built target tablestruct /usr/bin/make -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/depend cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src/CMakeFiles/libcryptominisat5.dir/DependInfo.cmake Scanning dependencies of target libcryptominisat5 /usr/bin/make -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/build [ 4%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/cnf.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/cnf.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.h:28: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/vardata.h:26: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propby.h:27: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clause.h:34: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.cpp:22: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.h:506:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.cpp:29: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:56:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_THREAD, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.cpp:588:18: warning: unused parameter 'allowFreed' [-Wunused-parameter] , const bool allowFreed ^ 5 warnings generated. [ 6%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/propengine.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/propengine.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:33: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propby.h:27: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clause.h:34: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:41: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.h:506:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.cpp:31: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:36: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searcher.h:29: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:56:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_THREAD, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.cpp:211:22: warning: unused parameter 'origSize' [-Wunused-parameter] , const uint32_t origSize ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.cpp:530:16: warning: unknown attribute 'optimize' ignored [-Wattributes] __attribute__((optimize("no-unroll-loops"))) ^ 6 warnings generated. [ 8%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/varreplacer.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/varreplacer.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/varreplacer.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/varreplacer.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/varreplacer.h:31: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clause.h:34: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/varreplacer.cpp:24: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:35: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:41: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.h:506:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/varreplacer.cpp:24: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:36: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searcher.h:29: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:56:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_THREAD, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/varreplacer.cpp:762:20: warning: unused variable 'sub_var_inter' [-Wunused-variable] const uint32_t sub_var_inter = solver->map_outer_to_inter(sub_var); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/varreplacer.cpp:823:48: warning: unused parameter 'var1' [-Wunused-parameter] void VarReplacer::replaceChecks(const uint32_t var1, const uint32_t var2) const ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/varreplacer.cpp:823:69: warning: unused parameter 'var2' [-Wunused-parameter] void VarReplacer::replaceChecks(const uint32_t var1, const uint32_t var2) const ^ 7 warnings generated. [ 10%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/clausecleaner.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/clausecleaner.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clausecleaner.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clausecleaner.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clausecleaner.h:26: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clausecleaner.cpp:24: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:35: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:41: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.h:506:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clausecleaner.cpp:24: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:36: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searcher.h:29: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:56:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_THREAD, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ 4 warnings generated. [ 12%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/clauseusagestats.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/clauseusagestats.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clauseusagestats.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clauseusagestats.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clauseusagestats.h:28: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clause.h:34: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ 1 warning generated. [ 14%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/prober.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/prober.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/prober.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/prober.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/prober.h:30: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clause.h:34: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/prober.cpp:30: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:35: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:41: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.h:506:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/prober.cpp:30: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:36: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searcher.h:29: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:56:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_THREAD, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ 4 warnings generated. [ 17%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/occsimplifier.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/occsimplifier.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/occsimplifier.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/occsimplifier.cpp:22: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:56:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_THREAD, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/occsimplifier.cpp:38: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/occsimplifier.h:35: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clause.h:34: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/occsimplifier.cpp:40: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:35: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:41: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.h:506:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/occsimplifier.cpp:186:24: warning: unused variable 'outer' [-Wunused-variable] const uint32_t outer = solver->map_inter_to_outer(i); ^ 5 warnings generated. [ 19%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/subsumestrengthen.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/subsumestrengthen.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/subsumestrengthen.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/subsumestrengthen.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/subsumestrengthen.h:28: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clause.h:34: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/subsumestrengthen.cpp:24: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:35: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:41: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.h:506:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/subsumestrengthen.cpp:24: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:36: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searcher.h:29: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:56:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_THREAD, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ 4 warnings generated. [ 21%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/clauseallocator.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/clauseallocator.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clauseallocator.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clauseallocator.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clauseallocator.h:28: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clauseallocator.cpp:31: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:35: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:41: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.h:506:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clauseallocator.cpp:31: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:36: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searcher.h:29: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:56:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_THREAD, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ 4 warnings generated. [ 23%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/sccfinder.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/sccfinder.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/sccfinder.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/sccfinder.cpp:27: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/sccfinder.h:25: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clause.h:34: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/sccfinder.cpp:29: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:56:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_THREAD, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/sccfinder.cpp:30: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:35: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:41: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.h:506:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ 4 warnings generated. [ 25%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/solverconf.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/solverconf.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solverconf.cpp [ 27%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/distillerallwithall.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/distillerallwithall.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/distillerallwithall.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/distillerallwithall.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/distillerallwithall.h:26: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clause.h:34: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/distillerallwithall.cpp:24: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:56:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_THREAD, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/distillerallwithall.cpp:25: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:35: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:41: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.h:506:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ 4 warnings generated. [ 29%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/distillerlongwithimpl.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/distillerlongwithimpl.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/distillerlongwithimpl.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/distillerlongwithimpl.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/distillerlongwithimpl.h:26: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clause.h:34: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/distillerlongwithimpl.cpp:24: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:56:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_THREAD, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/distillerlongwithimpl.cpp:25: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:35: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:41: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.h:506:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ 4 warnings generated. [ 31%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/str_impl_w_impl_stamp.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/str_impl_w_impl_stamp.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/str_impl_w_impl_stamp.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/str_impl_w_impl_stamp.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/str_impl_w_impl_stamp.h:26: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clause.h:34: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/str_impl_w_impl_stamp.cpp:24: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:56:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_THREAD, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/str_impl_w_impl_stamp.cpp:25: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:35: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:41: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.h:506:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ 4 warnings generated. [ 34%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/solutionextender.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/solutionextender.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solutionextender.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solutionextender.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solutionextender.h:26: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clause.h:34: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solutionextender.cpp:23: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:35: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:41: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.h:506:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solutionextender.cpp:23: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:36: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searcher.h:29: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:56:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_THREAD, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solutionextender.cpp:85:20: warning: unused variable 'blockedOn_inter' [-Wunused-variable] const uint32_t blockedOn_inter = solver->map_outer_to_inter(blockedOn.var()); ^ 5 warnings generated. [ 36%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/completedetachreattacher.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/completedetachreattacher.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/completedetachreattacher.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/completedetachreattacher.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/completedetachreattacher.h:26: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/completedetachreattacher.cpp:23: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:35: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:41: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.h:506:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/completedetachreattacher.cpp:23: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:36: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searcher.h:29: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:56:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_THREAD, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ 4 warnings generated. [ 38%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/searcher.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/searcher.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searcher.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searcher.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searcher.h:27: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:33: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propby.h:27: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clause.h:34: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searcher.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searcher.h:27: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:41: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.h:506:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searcher.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searcher.h:29: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:56:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_THREAD, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searcher.cpp:37: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/gaussian.h:34: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/packedmatrix.h:27: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/packedrow.h:191:77: warning: unused parameter 'num_cols' [-Wunused-parameter] void set(const T& v, const vector& var_to_col, const uint32_t num_cols) ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searcher.cpp:1765:12: warning: unused variable 'backup_var_decay' [-Wunused-variable] double backup_var_decay = var_decay; ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searcher.cpp:1764:12: warning: unused variable 'backup_var_inc' [-Wunused-variable] double backup_var_inc = var_inc; ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searcher.cpp:2615:22: warning: unused variable 'rem2' [-Wunused-variable] bool rem2 = removeWBin_except_marked(solver->watches, it->getLit2(), it->getLit1(), it->isRed()); ^ 8 warnings generated. [ 40%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/solver.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/solver.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:35: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:33: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propby.h:27: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clause.h:34: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:35: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:41: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.h:506:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:36: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searcher.h:29: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:56:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_THREAD, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.cpp:64: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/gaussian.h:34: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/packedmatrix.h:27: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/packedrow.h:191:77: warning: unused parameter 'num_cols' [-Wunused-parameter] void set(const T& v, const vector& var_to_col, const uint32_t num_cols) ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.cpp:2548:19: warning: unused variable 'lit' [-Wunused-variable] for(const Lit lit: lits) { ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.cpp:3414:27: warning: will never be executed [-Wunreachable-code] const double myTime = cpuTime(); ^~~~~~~ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.cpp:3540:5: warning: will never be executed [-Wunreachable-code] check_implicit_stats(); ^~~~~~~~~~~~~~~~~~~~ 8 warnings generated. [ 42%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/gatefinder.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/gatefinder.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/gatefinder.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/gatefinder.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/gatefinder.h:26: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cset.h:29: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clause.h:34: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/gatefinder.cpp:23: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:56:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_THREAD, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/gatefinder.cpp:24: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:35: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:41: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.h:506:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ 4 warnings generated. [ 44%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/sqlstats.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/sqlstats.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/sqlstats.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/sqlstats.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/sqlstats.h:25: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searcher.h:27: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:33: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propby.h:27: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clause.h:34: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/sqlstats.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/sqlstats.h:25: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searcher.h:27: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:41: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.h:506:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/sqlstats.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/sqlstats.h:25: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searcher.h:29: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:56:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_THREAD, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ 4 warnings generated. [ 46%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/implcache.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/implcache.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/implcache.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/implcache.cpp:27: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:35: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:33: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propby.h:27: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clause.h:34: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/implcache.cpp:27: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:35: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:41: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.h:506:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/implcache.cpp:27: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:36: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searcher.h:29: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:56:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_THREAD, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/implcache.cpp:635:20: warning: unused parameter 'newMaxVars' [-Wunused-parameter] , const size_t newMaxVars ^ 5 warnings generated. [ 48%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/stamp.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/stamp.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/stamp.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/stamp.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/stamp.h:28: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clause.h:34: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ 1 warning generated. [ 51%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/compfinder.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/compfinder.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/compfinder.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/compfinder.cpp:28: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:56:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_THREAD, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/compfinder.cpp:30: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:35: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:33: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propby.h:27: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clause.h:34: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/compfinder.cpp:30: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:35: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:41: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.h:506:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ 4 warnings generated. [ 53%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/comphandler.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/comphandler.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/comphandler.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/comphandler.cpp:24: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/varreplacer.h:31: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clause.h:34: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/comphandler.cpp:25: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:35: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:41: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.h:506:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/comphandler.cpp:25: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:36: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searcher.h:29: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:56:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_THREAD, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/comphandler.cpp:219:24: warning: unused variable 'var' [-Wunused-variable] for(const uint32_t var: vars_orig) { ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/comphandler.cpp:345:22: warning: unused parameter 'comp' [-Wunused-parameter] , const uint32_t comp ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/comphandler.cpp:430:22: warning: unused parameter 'comp' [-Wunused-parameter] , const uint32_t comp ^ 7 warnings generated. [ 55%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/hyperengine.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/hyperengine.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/hyperengine.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/hyperengine.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/hyperengine.h:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.h:28: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/vardata.h:26: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propby.h:27: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clause.h:34: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/hyperengine.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/hyperengine.h:22: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.h:506:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/hyperengine.cpp:1008:17: warning: unused variable 'origAnc' [-Wunused-variable] Lit origAnc = varData[lit.var()].reason.getAncestor(); ^ 3 warnings generated. [ 57%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/subsumeimplicit.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/subsumeimplicit.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/subsumeimplicit.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/subsumeimplicit.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/subsumeimplicit.h:26: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clause.h:34: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/subsumeimplicit.cpp:24: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:56:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_THREAD, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/subsumeimplicit.cpp:25: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:35: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:41: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.h:506:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ 4 warnings generated. [ 59%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/cleaningstats.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/cleaningstats.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cleaningstats.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cleaningstats.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cleaningstats.h:26: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clause.h:34: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cleaningstats.cpp:28: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:35: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:41: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.h:506:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cleaningstats.cpp:28: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:36: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searcher.h:29: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:56:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_THREAD, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ 4 warnings generated. [ 61%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/datasync.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/datasync.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/datasync.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/datasync.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/datasync.h:23: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/datasync.cpp:24: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:35: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:41: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.h:506:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/datasync.cpp:24: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:36: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searcher.h:29: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:56:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_THREAD, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ 4 warnings generated. [ 63%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/reducedb.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/reducedb.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/reducedb.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/reducedb.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/reducedb.h:26: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cleaningstats.h:26: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clause.h:34: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/reducedb.cpp:23: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:35: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:41: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.h:506:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/reducedb.cpp:23: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:36: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searcher.h:29: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:56:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_THREAD, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ 4 warnings generated. [ 65%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/clausedumper.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/clausedumper.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clausedumper.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clausedumper.cpp:23: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:35: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:33: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propby.h:27: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clause.h:34: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clausedumper.cpp:23: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:35: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:41: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.h:506:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clausedumper.cpp:23: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:36: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searcher.h:29: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:56:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_THREAD, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ 4 warnings generated. [ 68%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/bva.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/bva.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/bva.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/bva.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/bva.h:26: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/bva.cpp:24: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:35: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:41: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.h:506:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/bva.cpp:24: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:36: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searcher.h:29: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:56:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_THREAD, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ 4 warnings generated. [ 70%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/intree.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/intree.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/intree.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/intree.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/intree.h:24: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propby.h:27: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clause.h:34: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/intree.cpp:23: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:35: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:41: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.h:506:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/intree.cpp:23: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:36: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searcher.h:29: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:56:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_THREAD, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ 4 warnings generated. [ 72%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/features_calc.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/features_calc.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/features_calc.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/features_calc.cpp:25: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:35: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:33: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propby.h:27: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clause.h:34: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/features_calc.cpp:25: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:35: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:41: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.h:506:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/features_calc.cpp:25: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:36: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searcher.h:29: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:56:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_THREAD, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ 4 warnings generated. [ 74%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/features_to_reconf.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/features_to_reconf.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/features_to_reconf.cpp [ 76%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/solvefeatures.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/solvefeatures.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solvefeatures.cpp [ 78%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/searchstats.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/searchstats.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searchstats.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searchstats.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searchstats.h:28: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clause.h:34: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ 1 warning generated. [ 80%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/xorfinder.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/xorfinder.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/xorfinder.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/xorfinder.cpp:22: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/xorfinder.h:31: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cset.h:29: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clause.h:34: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/xorfinder.cpp:23: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:56:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_THREAD, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/xorfinder.cpp:24: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:35: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:41: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.h:506:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ 4 warnings generated. [ 82%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/GitSHA1.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/GitSHA1.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src/GitSHA1.cpp [ 85%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/cryptominisat.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fPIC -o CMakeFiles/libcryptominisat5.dir/cryptominisat.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cryptominisat.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cryptominisat.cpp:24: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:35: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:33: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propby.h:27: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/clause.h:34: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/watched.h:194:32: warning: unused parameter 'toSet' [-Wunused-parameter] void setRed(const bool toSet) ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cryptominisat.cpp:24: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:35: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/propengine.h:41: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cnf.h:506:21: warning: unused variable 'cl' [-Wunused-variable] Clause& cl = *cl_alloc.ptr(w.get_offset()); ^ In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/cryptominisat.cpp:24: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/solver.h:36: In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/searcher.h:29: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:56:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_THREAD, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ 4 warnings generated. [ 87%] Linking CXX shared library ../lib/libcryptominisat5.so cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/libcryptominisat5.dir/link.txt --verbose=1 /usr/bin/c++ -fPIC -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fstack-protector -shared -Wl,-soname,libcryptominisat5.so.5.0 -o ../lib/libcryptominisat5.so.5.0 CMakeFiles/libcryptominisat5.dir/cnf.cpp.o CMakeFiles/libcryptominisat5.dir/propengine.cpp.o CMakeFiles/libcryptominisat5.dir/varreplacer.cpp.o CMakeFiles/libcryptominisat5.dir/clausecleaner.cpp.o CMakeFiles/libcryptominisat5.dir/clauseusagestats.cpp.o CMakeFiles/libcryptominisat5.dir/prober.cpp.o CMakeFiles/libcryptominisat5.dir/occsimplifier.cpp.o CMakeFiles/libcryptominisat5.dir/subsumestrengthen.cpp.o CMakeFiles/libcryptominisat5.dir/clauseallocator.cpp.o CMakeFiles/libcryptominisat5.dir/sccfinder.cpp.o CMakeFiles/libcryptominisat5.dir/solverconf.cpp.o CMakeFiles/libcryptominisat5.dir/distillerallwithall.cpp.o CMakeFiles/libcryptominisat5.dir/distillerlongwithimpl.cpp.o CMakeFiles/libcryptominisat5.dir/str_impl_w_impl_stamp.cpp.o CMakeFiles/libcryptominisat5.dir/solutionextender.cpp.o CMakeFiles/libcryptominisat5.dir/completedetachreattacher.cpp.o CMakeFiles/libcryptominisat5.dir/searcher.cpp.o CMakeFiles/libcryptominisat5.dir/solver.cpp.o CMakeFiles/libcryptominisat5.dir/gatefinder.cpp.o CMakeFiles/libcryptominisat5.dir/sqlstats.cpp.o CMakeFiles/libcryptominisat5.dir/implcache.cpp.o CMakeFiles/libcryptominisat5.dir/stamp.cpp.o CMakeFiles/libcryptominisat5.dir/compfinder.cpp.o CMakeFiles/libcryptominisat5.dir/comphandler.cpp.o CMakeFiles/libcryptominisat5.dir/hyperengine.cpp.o CMakeFiles/libcryptominisat5.dir/subsumeimplicit.cpp.o CMakeFiles/libcryptominisat5.dir/cleaningstats.cpp.o CMakeFiles/libcryptominisat5.dir/datasync.cpp.o CMakeFiles/libcryptominisat5.dir/reducedb.cpp.o CMakeFiles/libcryptominisat5.dir/clausedumper.cpp.o CMakeFiles/libcryptominisat5.dir/bva.cpp.o CMakeFiles/libcryptominisat5.dir/intree.cpp.o CMakeFiles/libcryptominisat5.dir/features_calc.cpp.o CMakeFiles/libcryptominisat5.dir/features_to_reconf.cpp.o CMakeFiles/libcryptominisat5.dir/solvefeatures.cpp.o CMakeFiles/libcryptominisat5.dir/searchstats.cpp.o CMakeFiles/libcryptominisat5.dir/xorfinder.cpp.o CMakeFiles/libcryptominisat5.dir/GitSHA1.cpp.o CMakeFiles/libcryptominisat5.dir/cryptominisat.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/local/bin/cmake -E cmake_symlink_library ../lib/libcryptominisat5.so.5.0 ../lib/libcryptominisat5.so.5.0 ../lib/libcryptominisat5.so [ 87%] Built target libcryptominisat5 /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/depend cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src/CMakeFiles/cryptominisat5.dir/DependInfo.cmake Scanning dependencies of target cryptominisat5 /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/build [ 89%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/main.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -o CMakeFiles/cryptominisat5.dir/main.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/main.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/main.cpp:50: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:56:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_THREAD, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ 2 warnings generated. [ 91%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/main_exe.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -o CMakeFiles/cryptominisat5.dir/main_exe.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/main_exe.cpp [ 93%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/signalcode.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -o CMakeFiles/cryptominisat5.dir/signalcode.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/signalcode.cpp [ 95%] Linking CXX executable ../cryptominisat5 cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5.dir/link.txt --verbose=1 /usr/bin/c++ -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fstack-protector CMakeFiles/cryptominisat5.dir/main.cpp.o CMakeFiles/cryptominisat5.dir/main_exe.cpp.o CMakeFiles/cryptominisat5.dir/signalcode.cpp.o -o ../cryptominisat5 ../lib/libcryptominisat5.so.5.0 /usr/local/lib/libboost_program_options.so -lz -Wl,-rpath,/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/lib:/usr/local/lib: [ 95%] Built target cryptominisat5 /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/depend cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/DependInfo.cmake Scanning dependencies of target cryptominisat5_simple /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build [ 97%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/main_simple.cpp.o cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_PTHREADS -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -I/usr/local/include -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -o CMakeFiles/cryptominisat5_simple.dir/main_simple.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/main_simple.cpp In file included from /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/main_simple.cpp:35: /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:56:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_THREAD, &ru); ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src/time_mem.h:69:9: warning: unused variable 'ret' [-Wunused-variable] int ret = getrusage(RUSAGE_SELF, &ru); ^ 2 warnings generated. [100%] Linking CXX executable ../cryptominisat5_simple cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5_simple.dir/link.txt --verbose=1 /usr/bin/c++ -O2 -pipe -fstack-protector -fno-strict-aliasing -fno-stack-protector -std=c++11 -g -pthread -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -fPIC -O3 -g0 -DNDEBUG -mtune=native -fstack-protector CMakeFiles/cryptominisat5_simple.dir/main_simple.cpp.o -o ../cryptominisat5_simple ../lib/libcryptominisat5.so.5.0 /usr/local/lib/libboost_program_options.so -lz -Wl,-rpath,/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/lib:/usr/local/lib: [100%] Built target cryptominisat5_simple /usr/bin/make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/depend cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/DependInfo.cmake Scanning dependencies of target CopyPublicHeaders /usr/bin/make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/local/bin/cmake -E make_directory /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/include/cryptominisat5 cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ cryptominisat.h\ to\ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/include/cryptominisat5 Copying cryptominisat.h to /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/include/cryptominisat5 cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src/cryptominisat5/cryptominisat.h /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/include/cryptominisat5 cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/local/bin/cmake -E make_directory /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/include/cryptominisat5 cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ solvertypesmini.h\ to\ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/include/cryptominisat5 Copying solvertypesmini.h to /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/include/cryptominisat5 cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src/cryptominisat5/solvertypesmini.h /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/include/cryptominisat5 [100%] Built target CopyPublicHeaders /usr/local/bin/cmake -E cmake_progress_start /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/CMakeFiles 0 =========================================================================== =================================================== =========================================================================== =================================================== ===> Staging for cryptominisat-5.0.0 ===> Generating temporary packing list /usr/local/bin/cmake -H/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 -B/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 --check-build-system CMakeFiles/Makefile.cmake 0 /usr/local/bin/cmake -E cmake_progress_start /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/CMakeFiles /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all /usr/bin/make -f cmsat5-src/CMakeFiles/tablestruct.dir/build.make cmsat5-src/CMakeFiles/tablestruct.dir/depend cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src/CMakeFiles/tablestruct.dir/DependInfo.cmake /usr/bin/make -f cmsat5-src/CMakeFiles/tablestruct.dir/build.make cmsat5-src/CMakeFiles/tablestruct.dir/build [ 2%] Built target tablestruct /usr/bin/make -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/depend cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src/CMakeFiles/libcryptominisat5.dir/DependInfo.cmake /usr/bin/make -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/build [ 87%] Built target libcryptominisat5 /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/depend cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src/CMakeFiles/cryptominisat5.dir/DependInfo.cmake /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/build [ 95%] Built target cryptominisat5 /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/depend cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/DependInfo.cmake /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build [100%] Built target cryptominisat5_simple /usr/bin/make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/depend cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/src /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0 /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/DependInfo.cmake /usr/bin/make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/local/bin/cmake -E make_directory /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/include/cryptominisat5 cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ cryptominisat.h\ to\ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/include/cryptominisat5 Copying cryptominisat.h to /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/include/cryptominisat5 cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src/cryptominisat5/cryptominisat.h /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/include/cryptominisat5 cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/local/bin/cmake -E make_directory /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/include/cryptominisat5 cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ solvertypesmini.h\ to\ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/include/cryptominisat5 Copying solvertypesmini.h to /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/include/cryptominisat5 cd /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/cmsat5-src/cryptominisat5/solvertypesmini.h /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/include/cryptominisat5 [100%] Built target CopyPublicHeaders /usr/local/bin/cmake -E cmake_progress_start /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.0.0/CMakeFiles 0 /usr/bin/make -f CMakeFiles/Makefile2 preinstall Installing the project stripped... /usr/local/bin/cmake -DCMAKE_INSTALL_DO_STRIP=1 -P cmake_install.cmake -- Install configuration: "Release" -- Installing: /wrkdirs/usr/ports/math/cryptominisat/work/stage/usr/local/lib/cmake/cryptominisat5/cryptominisat5Config.cmake -- Installing: /wrkdirs/usr/ports/math/cryptominisat/work/stage/usr/local/lib/cmake/cryptominisat5/cryptominisat5Targets.cmake -- Installing: /wrkdirs/usr/ports/math/cryptominisat/work/stage/usr/local/lib/cmake/cryptominisat5/cryptominisat5Targets-release.cmake -- Installing: /wrkdirs/usr/ports/math/cryptominisat/work/stage/usr/local/lib/libcryptominisat5.so.5.0 -- Installing: /wrkdirs/usr/ports/math/cryptominisat/work/stage/usr/local/lib/libcryptominisat5.so -- Installing: /wrkdirs/usr/ports/math/cryptominisat/work/stage/usr/local/include/cryptominisat5/cryptominisat.h -- Installing: /wrkdirs/usr/ports/math/cryptominisat/work/stage/usr/local/include/cryptominisat5/solvertypesmini.h -- Installing: /wrkdirs/usr/ports/math/cryptominisat/work/stage/usr/local/bin/cryptominisat5 -- Set runtime path of "/wrkdirs/usr/ports/math/cryptominisat/work/stage/usr/local/bin/cryptominisat5" to "/usr/local/lib" -- Installing: /wrkdirs/usr/ports/math/cryptominisat/work/stage/usr/local/bin/cryptominisat5_simple -- Set runtime path of "/wrkdirs/usr/ports/math/cryptominisat/work/stage/usr/local/bin/cryptominisat5_simple" to "/usr/local/lib" ====> Compressing man pages (compress-man) =========================================================================== =================================================== ===> Building package for cryptominisat-5.0.0 =========================================================================== ====>> Cleaning up wrkdir ===> Cleaning for cryptominisat-5.0.0 build of math/cryptominisat ended at Sun Sep 4 16:08:35 BST 2016 build time: 00:02:03