=>> Building math/cryptominisat build started at Tue Mar 10 20:15:22 EDT 2026 port directory: /usr/ports/math/cryptominisat package name: cryptominisat-5.11.21_6 building for: FreeBSD pkg.DaveG.ca 14.4-RELEASE FreeBSD 14.4-RELEASE 1404000 amd64 maintained by: arrowd@FreeBSD.org Makefile datestamp: -rw-r--r-- 1 root wheel 559 Oct 28 16:11 /usr/ports/math/cryptominisat/Makefile Ports top last git commit: 26b198eb3ee3 Ports top unclean checkout: no Port dir last git commit: 67fb95fb3bd5 Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.2 Host OSVERSION: 1500068 Jail OSVERSION: 1404000 Job Id: 04 ---Begin Environment--- SHELL=/bin/sh OSVERSION=1404000 UNAME_v=FreeBSD 14.4-RELEASE 1404000 UNAME_r=14.4-RELEASE 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.2 MASTERMNT=/usr/local/poudriere/data/.m/freebsd_14_4_x64-HEAD-ALL/ref LC_COLLATE=C POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM=tmux-256color OUTPUT_REDIRECTED_STDERR=4 OUTPUT_REDIRECTED=1 PWD=/usr/local/poudriere/data/.m/freebsd_14_4_x64-HEAD-ALL/04/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=freebsd_14_4_x64-HEAD-ALL SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/freebsd_14_4_x64-HEAD-ALL/ref/.p/pool POUDRIERE_PKGNAME=poudriere-git-3.4.2 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=/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 --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=/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=" " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " 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=14.4 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--- DEFAULT_VERSIONS+=pgsql=15 DEFAULT_VERSIONS+=php=82 DISABLE_LICENSES=yes SELECTED_OPTIONS+=OPENBLAS ARCHDEF=AMD64K10h64SSE3 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 #### #### DEFAULT_VERSIONS+=pgsql=15 DEFAULT_VERSIONS+=php=82 DISABLE_LICENSES=yes SELECTED_OPTIONS+=OPENBLAS ARCHDEF=AMD64K10h64SSE3 WITH_CCACHE_BUILD=yes CCACHE_DIR=/root/.ccache #### Misc Poudriere #### .include "/etc/make.conf.ports_env" GID=0 UID=0 ---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 pipebuf (-y) 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_6 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-2.6.2.pkg [pkg.DaveG.ca] Installing pkg-2.6.2... [pkg.DaveG.ca] Extracting pkg-2.6.2: .......... done ===> cryptominisat-5.11.21_6 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of cryptominisat-5.11.21_6 =========================================================================== =================================================== ===== 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_6 for building =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by cryptominisat-5.11.21_6 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_6 for building ===> Extracting for cryptominisat-5.11.21_6 => 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_6 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> cryptominisat-5.11.21_6 depends on file: /usr/local/bin/cmake - not found ===> Installing existing package /packages/All/cmake-core-3.31.10_1.pkg [pkg.DaveG.ca] Installing cmake-core-3.31.10_1... [pkg.DaveG.ca] `-- Installing expat-2.7.4... [pkg.DaveG.ca] `-- Extracting expat-2.7.4: .......... done [pkg.DaveG.ca] `-- Installing jsoncpp-1.9.6_1... [pkg.DaveG.ca] `-- Extracting jsoncpp-1.9.6_1: .......... done [pkg.DaveG.ca] `-- Installing libidn2-2.3.8... [pkg.DaveG.ca] | `-- Installing indexinfo-0.3.1_1... [pkg.DaveG.ca] | `-- Extracting indexinfo-0.3.1_1: . done [pkg.DaveG.ca] | `-- Installing libunistring-1.4.2... [pkg.DaveG.ca] | `-- Extracting libunistring-1.4.2: .......... done [pkg.DaveG.ca] `-- Extracting libidn2-2.3.8: .......... done [pkg.DaveG.ca] `-- Installing libuv-1.52.0... [pkg.DaveG.ca] `-- Extracting libuv-1.52.0: .......... done [pkg.DaveG.ca] `-- Installing rhash-1.4.6... [pkg.DaveG.ca] | `-- Installing gettext-runtime-0.26... [pkg.DaveG.ca] | `-- Extracting gettext-runtime-0.26: .......... done [pkg.DaveG.ca] `-- Extracting rhash-1.4.6: .......... done [pkg.DaveG.ca] Extracting cmake-core-3.31.10_1: .......... done ===> cryptominisat-5.11.21_6 depends on file: /usr/local/bin/cmake - found ===> Returning to build of cryptominisat-5.11.21_6 ===> cryptominisat-5.11.21_6 depends on executable: ninja - not found ===> Installing existing package /packages/All/ninja-1.13.2,4.pkg [pkg.DaveG.ca] Installing ninja-1.13.2,4... [pkg.DaveG.ca] `-- Installing python311-3.11.15... [pkg.DaveG.ca] | `-- Installing libffi-3.5.1... [pkg.DaveG.ca] | `-- Extracting libffi-3.5.1: .......... done [pkg.DaveG.ca] | `-- Installing mpdecimal-4.0.1... [pkg.DaveG.ca] | `-- Extracting mpdecimal-4.0.1: .......... done [pkg.DaveG.ca] | `-- Installing readline-8.3.3... [pkg.DaveG.ca] | `-- Extracting readline-8.3.3: .......... done [pkg.DaveG.ca] `-- Extracting python311-3.11.15: .......... done [pkg.DaveG.ca] Extracting ninja-1.13.2,4: ..... done ===== Message from python311-3.11.15: -- Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: py311-gdbm databases/py-gdbm@py311 py311-sqlite3 databases/py-sqlite3@py311 py311-tkinter x11-toolkits/py-tkinter@py311 ===> cryptominisat-5.11.21_6 depends on executable: ninja - found ===> Returning to build of cryptominisat-5.11.21_6 ===> cryptominisat-5.11.21_6 depends on file: /usr/local/bin/ccache - not found ===> Installing existing package /packages/All/ccache-3.7.12_8.pkg [pkg.DaveG.ca] Installing ccache-3.7.12_8... [pkg.DaveG.ca] Extracting ccache-3.7.12_8: ......... done Create compiler links... create symlink for cc create symlink for cc (world) create symlink for c++ create symlink for c++ (world) create symlink for CC create symlink for CC (world) create symlink for clang create symlink for clang (world) create symlink for clang++ create symlink for clang++ (world) ===== Message from ccache-3.7.12_8: -- NOTE: Please read /usr/local/share/doc/ccache/ccache-howto-freebsd.txt for information on using ccache with FreeBSD ports and src. ===> cryptominisat-5.11.21_6 depends on file: /usr/local/bin/ccache - found ===> Returning to build of cryptominisat-5.11.21_6 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> cryptominisat-5.11.21_6 depends on shared library: libm4ri.so - not found ===> Installing existing package /packages/All/M4RI-20240729.pkg [pkg.DaveG.ca] Installing M4RI-20240729... [pkg.DaveG.ca] `-- Installing png-1.6.55... [pkg.DaveG.ca] `-- Extracting png-1.6.55: .......... done [pkg.DaveG.ca] Extracting M4RI-20240729: .......... done ===== Message from M4RI-20240729: -- ===> NOTICE: The M4RI port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://docs.freebsd.org/en/articles/contributing/#ports-contributing ===> cryptominisat-5.11.21_6 depends on shared library: libm4ri.so - found (/usr/local/lib/libm4ri.so) ===> Returning to build of cryptominisat-5.11.21_6 ===> cryptominisat-5.11.21_6 depends on shared library: libboost_program_options.so - not found ===> Installing existing package /packages/All/boost-libs-1.89.0_2.pkg [pkg.DaveG.ca] Installing boost-libs-1.89.0_2... [pkg.DaveG.ca] `-- Installing icu-76.1,1... [pkg.DaveG.ca] `-- Extracting icu-76.1,1: .......... done [pkg.DaveG.ca] `-- Installing zstd-1.5.7_1... [pkg.DaveG.ca] `-- Extracting zstd-1.5.7_1: .......... done [pkg.DaveG.ca] Extracting boost-libs-1.89.0_2: .......... done ===== Message from boost-libs-1.89.0_2: -- 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_6 depends on shared library: libboost_program_options.so - found (/usr/local/lib/libboost_program_options.so) ===> Returning to build of cryptominisat-5.11.21_6 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Configuring for cryptominisat-5.11.21_6 ===> Performing out-of-source build /bin/mkdir -p /wrkdirs/usr/ports/math/cryptominisat/work/.build CMake Warning (dev) at CMakeLists.txt:25 (enable_language): project() should be called prior to this enable_language() call. This warning is for project developers. Use -Wno-dev to suppress it. -- The CXX compiler identification is Clang 19.1.7 -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/local/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 19.1.7 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/local/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.3.1") -- 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 (6.6s) -- 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_6 [ 1% 50/53] /usr/local/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 [ 3% 50/53] /usr/local/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 [ 5% 50/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 [ 7% 50/53] /usr/local/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 [ 9% 50/53] /usr/local/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 [ 11% 50/53] /usr/local/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 [ 13% 50/53] /usr/local/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 [ 15% 50/53] /usr/local/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 [ 16% 50/53] /usr/local/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 [ 18% 50/53] /usr/local/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 [ 20% 50/53] /usr/local/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 [ 22% 50/53] /usr/local/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 [ 24% 50/53] /usr/local/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 [ 26% 50/53] /usr/local/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 [ 28% 50/53] /usr/local/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 [ 30% 50/53] /usr/local/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] 179 | , 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 85 | int64_t timeAvailable; | ^ 1 warning generated. [ 32% 50/53] /usr/local/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 [ 33% 50/53] /usr/local/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 [ 35% 50/53] /usr/local/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 [ 37% 50/53] /usr/local/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] 175 | 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 118 | Solver* solver; | ^ 1 warning generated. [ 39% 50/53] /usr/local/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 [ 41% 50/53] /usr/local/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 [ 43% 50/53] /usr/local/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 [ 45% 50/53] /usr/local/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 [ 47% 50/53] /usr/local/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] 346 | 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 89 | Solver* solver; | ^ 1 warning generated. [ 49% 50/53] /usr/local/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 [ 50% 50/53] /usr/local/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 [ 52% 50/53] /usr/local/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 [ 54% 50/53] /usr/local/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 [ 56% 50/53] /usr/local/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 [ 58% 50/53] /usr/local/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 [ 60% 50/53] /usr/local/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 [ 62% 50/53] /usr/local/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 [ 64% 50/53] /usr/local/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 [ 66% 50/53] /usr/local/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 [ 67% 50/53] /usr/local/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 [ 69% 50/53] /usr/local/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 [ 71% 50/53] /usr/local/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] 592 | 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 64 | Solver* solver; | ^ 1 warning generated. [ 73% 50/53] /usr/local/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] 1265 | 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 122 | Solver* solver; | ^ 1 warning generated. [ 75% 50/53] /usr/local/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 [ 77% 50/53] /usr/local/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 [ 79% 50/53] /usr/local/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] 1047 | 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 98 | Solver* solver; | ^ 1 warning generated. [ 81% 50/53] /usr/local/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 [ 83% 50/53] /usr/local/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 [ 84% 50/53] /usr/local/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 [ 86% 50/53] /usr/local/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] 881 | 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 210 | Solver *solver; | ^ 1 warning generated. [ 88% 50/53] /usr/local/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 [ 90% 50/53] /usr/local/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 [ 92% 50/53] /usr/local/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 [ 94% 51/53] : && /usr/local/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 -O2 -Xlinker --dependency-file=cmsat5-src/CMakeFiles/cryptominisat5.dir/link.d -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 && : [ 96% 52/53] /usr/local/bin/cmake -E cmake_symlink_library lib/libcryptominisat5.so.5.11 lib/libcryptominisat5.so.5.11 lib/libcryptominisat5.so && : [ 98% 52/53] /usr/local/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 [100% 53/53] : && /usr/local/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 -O2 -Xlinker --dependency-file=cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/link.d 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_6 ===> 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=2026-03-11T00:15:22+0000' 'PKG_NOTE_ports_top_git_hash=26b198eb3ee3' 'PKG_NOTE_ports_top_checkout_unclean=no' 'PKG_NOTE_port_git_hash=67fb95fb3bd5' 'PKG_NOTE_port_checkout_unclean=no' 'PKG_NOTE_built_by=poudriere-git-3.4.2' NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building packages for cryptominisat-5.11.21_6 ===> Building cryptominisat-5.11.21_6 =========================================================================== =>> Cleaning up wrkdir ===> Cleaning for cryptominisat-5.11.21_6 build of math/cryptominisat | cryptominisat-5.11.21_6 ended at Tue Mar 10 20:16:30 EDT 2026 build time: 00:01:09