=>> Building math/cryptominisat build started at Thu Mar 28 21:08:21 GMT 2024 port directory: /usr/ports/math/cryptominisat package name: cryptominisat-5.11.21_1 building for: FreeBSD pkg-builder.dan.net.uk 13.2-RELEASE-p10 FreeBSD 13.2-RELEASE-p10 amd64 maintained by: arrowd@FreeBSD.org Makefile datestamp: -rw-r--r-- 1 root wheel 559 Feb 14 06:15 /usr/ports/math/cryptominisat/Makefile Ports top last git commit: c2c35d895e Ports top unclean checkout: yes Port dir last git commit: db616534ff Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.99.20240122_1 Host OSVERSION: 1400097 Jail OSVERSION: 1302001 Job Id: 17 ---Begin Environment--- SHELL=/bin/csh OSVERSION=1302001 UNAME_v=FreeBSD 13.2-RELEASE-p10 UNAME_r=13.2-RELEASE-p10 BLOCKSIZE=K MAIL=/var/mail/root MM_CHARSET=UTF-8 LANG=C.UTF-8 STATUS=1 HOME=/root PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin MAKE_OBJDIR_CHECK_WRITABLE=0 LOCALBASE=/usr/local USER=root POUDRIERE_NAME=poudriere-git LIBEXECPREFIX=/usr/local/libexec/poudriere POUDRIERE_VERSION=3.4.99.20240122_1 MASTERMNT=/usr/local/poudriere/data/.m/13-amd64-default-dan/ref LC_COLLATE=C POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM=screen OUTPUT_REDIRECTED_STDERR=4 OUTPUT_REDIRECTED=1 PWD=/usr/local/poudriere/data/.m/13-amd64-default-dan/17/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=13-amd64-default-dan SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/13-amd64-default-dan/ref/.p/pool POUDRIERE_PKGNAME=poudriere-git-3.4.99.20240122_1 SCRIPTPATH=/usr/local/share/poudriere/bulk.sh POUDRIEREPATH=/usr/local/bin/poudriere ---End Environment--- ---Begin Poudriere Port Flags/Env--- PORT_FLAGS= PKGENV= FLAVOR= MAKE_ARGS= ---End Poudriere Port Flags/Env--- ---Begin OPTIONS List--- ---End OPTIONS List--- --MAINTAINER-- arrowd@FreeBSD.org --End MAINTAINER-- --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 XDG_CACHE_HOME=/wrkdirs/usr/ports/math/cryptominisat/work/.cache HOME=/wrkdirs/usr/ports/math/cryptominisat/work TMPDIR="/tmp" PATH=/ccache/libexec/ccache:/wrkdirs/usr/ports/math/cryptominisat/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/cryptominisat/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCACHE_DIR="/root/.ccache" --End CONFIGURE_ENV-- --MAKE_ENV-- NINJA_STATUS="[%p %s/%t] " XDG_DATA_HOME=/wrkdirs/usr/ports/math/cryptominisat/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/cryptominisat/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/cryptominisat/work/.cache HOME=/wrkdirs/usr/ports/math/cryptominisat/work TMPDIR="/tmp" PATH=/ccache/libexec/ccache:/wrkdirs/usr/ports/math/cryptominisat/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/cryptominisat/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES DESTDIR=/wrkdirs/usr/ports/math/cryptominisat/work/stage PREFIX=/usr/local LOCALBASE=/usr/local CC="cc" CFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" -fstack-protector-strong " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " CCACHE_DIR="/root/.ccache" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" --End MAKE_ENV-- --PLIST_SUB-- CMAKE_BUILD_TYPE="release" OSREL=13.2 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local 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 FORCE_PACKAGE=yes PACKAGE_BUILDING=yes PACKAGE_BUILDING_FLAVORS=yes #### #### CCACHE_CPP2=1 WITH_SSP_PORTS=yes WITH_SSP=yes #WITH_LTO=yes DISABLE_LICENSES=yes LICENSES_ACCEPTED=AGPLv3 APACHE10 APACHE11 APACHE20 ART10 ARTPERL10 ART20 BSD BSD2CLAUSE BSD3CLAUSE BSD4CLAUSE BSL CC0-1.0 CDDL ClArtistic EPL GFDL GMGPL GPLv1 GPLv2 GPLv3 GPLv3RLE ISCL LGPL20 LGPL21 LGPL3 LPPL10 LPPL11 LPPL12 LPPL13 LPPL13a LPPL13b LPPL13c MIT MPL OpenSSL OFL10 OFL11 OWL PostgreSQL PHP202 PHP30 PHP301 PSFL RUBY ZLIB ZPL21 SVM-Light EULA ALASIR Microsoft-exFAT SIMIAN UDEVGAME unknown MTA COMMERCIAL teamspeak NO_LICENSES_DIALOGS=yes #### #### NO_IGNORE=yes DEFAULT_VERSIONS+=ssl=openssl mysql=8.0 imagemagick=7 samba=4.13 java=18 WITH_SETID_MODE=force PHP_ZTS=enabled OPTIONS_UNSET+=OPENJPEG OPTIONS_UNSET+=GSSAPI_BASE OPTIONS_SET+=ZTS OPTIONS_SET+=GSSAPI_NONE WITH_CCACHE_BUILD=yes CCACHE_DIR=/root/.ccache NO_CCACHE_DEPEND=1 CCACHE_WRAPPER_PATH= /ccache/libexec/ccache #### Misc Poudriere #### .include "/etc/make.conf.ports_env" GID=0 UID=0 DISABLE_MAKE_JOBS=poudriere ---End make.conf--- --Resource limits-- cpu time (seconds, -t) unlimited file size (512-blocks, -f) unlimited data seg size (kbytes, -d) 33554432 stack size (kbytes, -s) 524288 core file size (512-blocks, -c) unlimited max memory size (kbytes, -m) unlimited locked memory (kbytes, -l) unlimited max user processes (-u) 89999 open files (-n) 8192 virtual mem size (kbytes, -v) unlimited swap limit (kbytes, -w) unlimited socket buffer size (bytes, -b) unlimited pseudo-terminals (-p) unlimited kqueues (-k) unlimited umtx shared locks (-o) unlimited --End resource limits-- =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> cryptominisat-5.11.21_1 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.20.9_1.pkg [pkg-builder.dan.net.uk] Installing pkg-1.20.9_1... [pkg-builder.dan.net.uk] Extracting pkg-1.20.9_1: .......... done ===> cryptominisat-5.11.21_1 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of cryptominisat-5.11.21_1 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by cryptominisat-5.11.21_1 for building =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by cryptominisat-5.11.21_1 for building => SHA256 Checksum OK for msoos-cryptominisat-5.11.21_GH0.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by cryptominisat-5.11.21_1 for building ===> Extracting for cryptominisat-5.11.21_1 => SHA256 Checksum OK for msoos-cryptominisat-5.11.21_GH0.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Patching for cryptominisat-5.11.21_1 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> cryptominisat-5.11.21_1 depends on file: /usr/local/bin/cmake - not found ===> Installing existing package /packages/All/cmake-core-3.28.3.pkg [pkg-builder.dan.net.uk] Installing cmake-core-3.28.3... [pkg-builder.dan.net.uk] `-- Installing expat-2.6.1... [pkg-builder.dan.net.uk] `-- Extracting expat-2.6.1: .......... done [pkg-builder.dan.net.uk] `-- Installing jsoncpp-1.9.5... [pkg-builder.dan.net.uk] `-- Extracting jsoncpp-1.9.5: .......... done [pkg-builder.dan.net.uk] `-- Installing libuv-1.48.0... [pkg-builder.dan.net.uk] `-- Extracting libuv-1.48.0: .......... done [pkg-builder.dan.net.uk] `-- Installing openssl-3.0.13_1,1... [pkg-builder.dan.net.uk] `-- Extracting openssl-3.0.13_1,1: .......... done [pkg-builder.dan.net.uk] `-- Installing rhash-1.4.4_1... [pkg-builder.dan.net.uk] | `-- Installing gettext-runtime-0.22.3_1... [pkg-builder.dan.net.uk] | | `-- Installing indexinfo-0.3.1... [pkg-builder.dan.net.uk] | | `-- Extracting indexinfo-0.3.1: . done [pkg-builder.dan.net.uk] | `-- Extracting gettext-runtime-0.22.3_1: .......... done [pkg-builder.dan.net.uk] `-- Extracting rhash-1.4.4_1: .......... done [pkg-builder.dan.net.uk] Extracting cmake-core-3.28.3: .......... done ===> cryptominisat-5.11.21_1 depends on file: /usr/local/bin/cmake - found ===> Returning to build of cryptominisat-5.11.21_1 ===> cryptominisat-5.11.21_1 depends on executable: ninja - not found ===> Installing existing package /packages/All/ninja-1.11.1,2.pkg [pkg-builder.dan.net.uk] Installing ninja-1.11.1,2... [pkg-builder.dan.net.uk] `-- Installing python39-3.9.18_1... [pkg-builder.dan.net.uk] | `-- Installing libffi-3.4.4_1... [pkg-builder.dan.net.uk] | `-- Extracting libffi-3.4.4_1: .......... done [pkg-builder.dan.net.uk] | `-- Installing mpdecimal-2.5.1... [pkg-builder.dan.net.uk] | `-- Extracting mpdecimal-2.5.1: .......... done [pkg-builder.dan.net.uk] | `-- Installing readline-8.2.10... [pkg-builder.dan.net.uk] | `-- Extracting readline-8.2.10: .......... done [pkg-builder.dan.net.uk] `-- Extracting python39-3.9.18_1: .......... done [pkg-builder.dan.net.uk] Extracting ninja-1.11.1,2: ..... done ===== Message from python39-3.9.18_1: -- Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: py39-gdbm databases/py-gdbm@py39 py39-sqlite3 databases/py-sqlite3@py39 py39-tkinter x11-toolkits/py-tkinter@py39 ===> cryptominisat-5.11.21_1 depends on executable: ninja - found ===> Returning to build of cryptominisat-5.11.21_1 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> cryptominisat-5.11.21_1 depends on shared library: libm4ri.so - not found ===> Installing existing package /packages/All/M4RI-20200125.pkg [pkg-builder.dan.net.uk] Installing M4RI-20200125... [pkg-builder.dan.net.uk] `-- Installing png-1.6.43... [pkg-builder.dan.net.uk] `-- Extracting png-1.6.43: .......... done [pkg-builder.dan.net.uk] Extracting M4RI-20200125: .......... done ===> cryptominisat-5.11.21_1 depends on shared library: libm4ri.so - found (/usr/local/lib/libm4ri.so) ===> Returning to build of cryptominisat-5.11.21_1 ===> cryptominisat-5.11.21_1 depends on shared library: libboost_program_options.so - not found ===> Installing existing package /packages/All/boost-libs-1.84.0.pkg [pkg-builder.dan.net.uk] Installing boost-libs-1.84.0... [pkg-builder.dan.net.uk] `-- Installing icu-74.2,1... [pkg-builder.dan.net.uk] `-- Extracting icu-74.2,1: .......... done [pkg-builder.dan.net.uk] Extracting boost-libs-1.84.0: .......... done ===== Message from boost-libs-1.84.0: -- 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.11.21_1 depends on shared library: libboost_program_options.so - found (/usr/local/lib/libboost_program_options.so) ===> Returning to build of cryptominisat-5.11.21_1 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Configuring for cryptominisat-5.11.21_1 ===> Performing out-of-source build /bin/mkdir -p /wrkdirs/usr/ports/math/cryptominisat/work/.build -- The CXX compiler identification is Clang 14.0.5 -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /ccache/libexec/ccache/c++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- LIB directory is '' -- BIN directory is '' -- Doing a Release build -- The C compiler identification is Clang 14.0.5 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /ccache/libexec/ccache/cc - skipped -- Detecting C compile features -- Detecting C compile features - done -- Could NOT find tbuddy (missing: tbuddy_DIR) -- tbuddy not found, not compiling with tbuddy-based GJ FRAT proofs -- Performing Test CMAKE_HAVE_LIBC_PTHREAD -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Failed -- Found Threads: TRUE -- build type is Release -- Performing Test HAVE_FLAG_-fno-stack-protector -- Performing Test HAVE_FLAG_-fno-stack-protector - Success -- PROJECT_VERSION: 5.11.21 -- PROJECT_VERSION_MAJOR: 5 -- PROJECT_VERSION_MINOR: 11 -- PROJECT_VERSION_PATCH: 21 -- Not compiling detailed statistics. The system is faster without them -- Not on Linux, not creating manpage -- Found ZLIB: /usr/lib/libz.so (found version "1.2.13") -- OK, Found ZLIB! -- Performing Test HAVE__FPU_SETCW -- Performing Test HAVE__FPU_SETCW - Failed -- All defines at startup: -DRDB0_ONLY_FEATURES -DNDEBUG -D_FORTIFY_SOURCE=0 -DUSE_ZLIB -- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion -- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion - Success -- Performing Test HAVE_FLAG_-Wlogical-op -- Performing Test HAVE_FLAG_-Wlogical-op - Failed -- Performing Test HAVE_FLAG_-Wrestrict -- Performing Test HAVE_FLAG_-Wrestrict - Failed -- Performing Test HAVE_FLAG_-Wnull-dereference -- Performing Test HAVE_FLAG_-Wnull-dereference - Success -- Performing Test HAVE_FLAG_-Wdouble-promotion -- Performing Test HAVE_FLAG_-Wdouble-promotion - Success -- Performing Test HAVE_FLAG_-Wshadow -- Performing Test HAVE_FLAG_-Wshadow - Success -- Performing Test HAVE_FLAG_-Wformat=2 -- Performing Test HAVE_FLAG_-Wformat=2 - Success -- Performing Test HAVE_FLAG_-Wextra-semi -- Performing Test HAVE_FLAG_-Wextra-semi - Success -- Performing Test HAVE_FLAG_-pedantic -- Performing Test HAVE_FLAG_-pedantic - Success -- 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:714 (message): Testing is disabled -- Configuring done (3.5s) -- Generating done (0.0s) CMake Warning: Manually-specified variables were not used by the project: CMAKE_COLOR_MAKEFILE CMAKE_MODULE_LINKER_FLAGS CMAKE_VERBOSE_MAKEFILE ENABLE_PYTHON_INTERFACE FETCHCONTENT_FULLY_DISCONNECTED -- Build files have been written to: /wrkdirs/usr/ports/math/cryptominisat/work/.build =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building for cryptominisat-5.11.21_1 [ 1% 1/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/cnf.cpp [ 3% 2/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/frat.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/frat.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/frat.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/frat.cpp [ 5% 3/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/propengine.cpp [ 7% 4/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/varreplacer.cpp /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/varreplacer.cpp:1265:52: warning: declaration shadows a field of 'CMSat::VarReplacer' [-Wshadow] void VarReplacer::Stats::print_short(const Solver* solver) const ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/varreplacer.h:122:17: note: previous declaration is here Solver* solver; ^ 1 warning generated. [ 9% 5/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/clausecleaner.cpp /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/clausecleaner.cpp:346:63: warning: declaration shadows a field of 'CMSat::ClauseCleaner' [-Wshadow] void ClauseCleaner::ImplicitData::update_solver_stats(Solver* solver) ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/clausecleaner.h:89:17: note: previous declaration is here Solver* solver; ^ 1 warning generated. [ 11% 6/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/occsimplifier.cpp [ 13% 7/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/gatefinder.cpp [ 15% 8/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/subsumestrengthen.cpp /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/subsumestrengthen.cpp:1047:58: warning: declaration shadows a field of 'CMSat::SubsumeStrengthen' [-Wshadow] void SubsumeStrengthen::Stats::print_short(const Solver* solver) const ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/subsumestrengthen.h:98:13: note: previous declaration is here Solver* solver; ^ 1 warning generated. [ 16% 9/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/clauseallocator.cpp [ 18% 10/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/sccfinder.cpp /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/sccfinder.cpp:175:44: warning: declaration shadows a field of 'CMSat::SCCFinder' [-Wshadow] void SCCFinder::Stats::print_short(Solver* solver) const ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/sccfinder.h:118:17: note: previous declaration is here Solver* solver; ^ 1 warning generated. [ 20% 11/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/solverconf.cpp [ 22% 12/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/distillerlong.cpp [ 24% 13/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/distillerlitrem.cpp [ 26% 14/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerbin.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerbin.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerbin.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/distillerbin.cpp [ 28% 15/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/distillerlongwithimpl.cpp [ 30% 16/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/str_impl_w_impl.cpp /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/str_impl_w_impl.cpp:179:21: warning: declaration shadows a field of 'CMSat::StrImplWImpl' [-Wshadow] , const int64_t timeAvailable ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/str_impl_w_impl.h:85:13: note: previous declaration is here int64_t timeAvailable; ^ 1 warning generated. [ 32% 17/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/solutionextender.cpp [ 33% 18/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/completedetachreattacher.cpp [ 35% 19/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/searcher.cpp [ 37% 20/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/solver.cpp [ 39% 21/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/hyperengine.cpp [ 41% 22/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/subsumeimplicit.cpp [ 43% 23/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/datasync.cpp [ 45% 24/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/reducedb.cpp [ 47% 25/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/bva.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/bva.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/bva.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/bva.cpp /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/bva.cpp:592:54: warning: declaration shadows a field of 'CMSat::BVA' [-Wshadow] string BVA::PotentialClause::to_string(const Solver* solver) const ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/bva.h:64:13: note: previous declaration is here Solver* solver; ^ 1 warning generated. [ 49% 26/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/intree.cpp [ 50% 27/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/searchstats.cpp [ 52% 28/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/xorfinder.cpp /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/xorfinder.cpp:881:50: warning: declaration shadows a field of 'CMSat::XorFinder' [-Wshadow] void XorFinder::Stats::print_short(const Solver* solver, double time_remain) const ^ /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/xorfinder.h:210:13: note: previous declaration is here Solver *solver; ^ 1 warning generated. [ 54% 29/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/cardfinder.cpp [ 56% 30/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/cryptominisat_c.cpp [ 58% 31/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/sls.cpp [ 60% 32/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/sqlstats.cpp [ 62% 33/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/vardistgen.cpp [ 64% 34/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/ccnr.cpp [ 66% 35/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/ccnr_cms.cpp [ 67% 36/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/lucky.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/lucky.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/lucky.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/lucky.cpp [ 69% 37/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/get_clause_query.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/get_clause_query.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/get_clause_query.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/get_clause_query.cpp [ 71% 38/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/gaussian.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/gaussian.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/gaussian.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/gaussian.cpp [ 73% 39/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/packedrow.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/packedrow.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/packedrow.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/packedrow.cpp [ 75% 40/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/matrixfinder.cpp [ 77% 41/53] /ccache/libexec/ccache/cc -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/picosat.c.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/picosat.c.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/picosat.c.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/picosat/picosat.c [ 79% 42/53] /ccache/libexec/ccache/cc -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/version.c.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/version.c.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/version.c.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/picosat/version.c [ 81% 43/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/oracle/oracle.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/oracle/oracle.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/oracle/oracle.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/oracle/oracle.cpp [ 83% 44/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src/GitSHA1.cpp [ 84% 45/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -fPIC -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/cryptominisat.cpp [ 86% 46/53] : && /ccache/libexec/ccache/c++ -fPIC -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fstack-protector-strong -O2 -shared -Wl,-soname,libcryptominisat5.so.5.11 -o lib/libcryptominisat5.so.5.11 cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/frat.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerbin.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/bva.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/lucky.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/get_clause_query.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/gaussian.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/packedrow.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/picosat.c.o cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/version.c.o cmsat5-src/CMakeFiles/cryptominisat5.dir/oracle/oracle.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o -pthread && : [ 88% 47/53] /usr/local/bin/cmake -E cmake_symlink_library lib/libcryptominisat5.so.5.11 lib/libcryptominisat5.so.5.11 lib/libcryptominisat5.so && : [ 90% 48/53] cd /wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 && /usr/local/bin/cmake -E echo Copying\ cryptominisat_c.h\ to\ /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 && /usr/local/bin/cmake -E copy_if_different /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/cryptominisat_c.h /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 && cd /wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 && /usr/local/bin/cmake -E echo Copying\ cryptominisat.h\ to\ /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 && /usr/local/bin/cmake -E copy_if_different /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/cryptominisat.h /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 && cd /wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 && /usr/local/bin/cmake -E echo Copying\ solvertypesmini.h\ to\ /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 && /usr/local/bin/cmake -E copy_if_different /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/solvertypesmini.h /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 && cd /wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 && /usr/local/bin/cmake -E echo Copying\ dimacsparser.h\ to\ /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 && /usr/local/bin/cmake -E copy_if_different /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/dimacsparser.h /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 && cd /wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 && /usr/local/bin/cmake -E echo Copying\ streambuffer.h\ to\ /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 && /usr/local/bin/cmake -E copy_if_different /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/streambuffer.h /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 Copying cryptominisat_c.h to /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 Copying cryptominisat.h to /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 Copying solvertypesmini.h to /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 Copying dimacsparser.h to /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 Copying streambuffer.h to /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 [ 92% 49/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/main.cpp [ 94% 50/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/main_common.cpp [ 96% 51/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/main_exe.cpp [ 98% 52/53] /ccache/libexec/ccache/c++ -DNDEBUG -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21 -I/wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src -I/wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++17 -g -pthread -O2 -g0 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o -c /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/signalcode.cpp [100% 53/53] : && /ccache/libexec/ccache/c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fno-stack-protector -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fstack-protector-strong -O2 cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main.cpp.o cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o -o cryptominisat5 -Wl,-rpath,/wrkdirs/usr/ports/math/cryptominisat/work/.build/lib: lib/libcryptominisat5.so.5.11 /usr/lib/libz.so -pthread && : =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Staging for cryptominisat-5.11.21_1 ===> Generating temporary packing list [ 50% 1/2] cd /wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 && /usr/local/bin/cmake -E echo Copying\ cryptominisat_c.h\ to\ /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 && /usr/local/bin/cmake -E copy_if_different /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/cryptominisat_c.h /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 && cd /wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 && /usr/local/bin/cmake -E echo Copying\ cryptominisat.h\ to\ /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 && /usr/local/bin/cmake -E copy_if_different /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/cryptominisat.h /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 && cd /wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 && /usr/local/bin/cmake -E echo Copying\ solvertypesmini.h\ to\ /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 && /usr/local/bin/cmake -E copy_if_different /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/solvertypesmini.h /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 && cd /wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 && /usr/local/bin/cmake -E echo Copying\ dimacsparser.h\ to\ /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 && /usr/local/bin/cmake -E copy_if_different /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/dimacsparser.h /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 && cd /wrkdirs/usr/ports/math/cryptominisat/work/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 && /usr/local/bin/cmake -E echo Copying\ streambuffer.h\ to\ /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 && /usr/local/bin/cmake -E copy_if_different /wrkdirs/usr/ports/math/cryptominisat/work/cryptominisat-5.11.21/src/streambuffer.h /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 Copying cryptominisat_c.h to /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 Copying cryptominisat.h to /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 Copying solvertypesmini.h to /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 Copying dimacsparser.h to /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 Copying streambuffer.h to /wrkdirs/usr/ports/math/cryptominisat/work/.build/include/cryptominisat5 [ 50% 2/2] cd /wrkdirs/usr/ports/math/cryptominisat/work/.build && /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/cryptominisat5ConfigVersion.cmake -- 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.11 -- 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_c.h -- 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/include/cryptominisat5/dimacsparser.h -- Installing: /wrkdirs/usr/ports/math/cryptominisat/work/stage/usr/local/include/cryptominisat5/streambuffer.h -- Installing: /wrkdirs/usr/ports/math/cryptominisat/work/stage/usr/local/bin/cryptominisat5 -- Set non-toolchain portion of runtime path of "/wrkdirs/usr/ports/math/cryptominisat/work/stage/usr/local/bin/cryptominisat5" to "" ====> Compressing man pages (compress-man) =========================================================================== =================================================== ===== env: 'PKG_NOTES=build_timestamp ports_top_git_hash ports_top_checkout_unclean port_git_hash port_checkout_unclean built_by' 'PKG_NOTE_build_timestamp=2024-03-28T21:08:21+0000' 'PKG_NOTE_ports_top_git_hash=c2c35d895e' 'PKG_NOTE_ports_top_checkout_unclean=yes' 'PKG_NOTE_port_git_hash=db616534ff' 'PKG_NOTE_port_checkout_unclean=no' 'PKG_NOTE_built_by=poudriere-git-3.4.99.20240122_1' NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building packages for cryptominisat-5.11.21_1 ===> Building cryptominisat-5.11.21_1 =========================================================================== =>> Cleaning up wrkdir ===> Cleaning for cryptominisat-5.11.21_1 build of math/cryptominisat | cryptominisat-5.11.21_1 ended at Thu Mar 28 21:21:39 GMT 2024 build time: 00:13:21