sci-mathematics:cryptominisat-5.11.15:20231213-012937.log

sci-mathematics:cryptominisat-5.11.15:20231213-012937.log (text/plain), 26.33 KB, created by Toralf Förster on 2023-12-13 20:43:39 UTC

 * Package:    sci-mathematics/cryptominisat-5.11.15:0/5.11.15
 * Repository: gentoo
 * Maintainer: [e-mail]
 * Upstream:   https://github.com/msoos/cryptominisat/issues/
 * USE:        abi_x86_64 amd64 elibc_glibc kernel_linux
 * FEATURES:   network-sandbox preserve-libs sandbox userpriv usersandbox

>>> Unpacking source...
>>> Unpacking cryptominisat-5.11.15.tar.gz to /var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work
>>> Source unpacked in /var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15 ...
 * Source directory (CMAKE_USE_DIR): "/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15"
 * Build directory  (BUILD_DIR):     "/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15_build"
>>> Source prepared.
 * Modern C testing: this build is using a /etc/portage/bashrc hook (2023-11-30T22:24)!
 * Modern C testing: see https://wiki.gentoo.org/wiki/Modern_C_porting for more info.
>>> Configuring source in /var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15 ...
 * Source directory (CMAKE_USE_DIR): "/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15"
 * Build directory  (BUILD_DIR):     "/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15_build"
cmake -C /var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15_build/gentoo_common_config.cmake -G Ninja -DCMAKE_INSTALL_PREFIX=/usr -DNOBREAKID=ON -DNOM4RI=ON -DENABLE_TESTING=OFF -DCMAKE_BUILD_TYPE=RelWithDebInfo -DCMAKE_TOOLCHAIN_FILE=/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15_build/gentoo_toolchain.cmake /var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15
loading initial cache file /var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15_build/gentoo_common_config.cmake
-- The CXX compiler identification is Clang 17.0.6
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /usr/lib/llvm/17/bin/clang++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- LIB directory is 'lib64'
-- BIN directory is ''
-- Doing a RelWithDebInfo build
-- The C compiler identification is Clang 17.0.6
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Check for working C compiler: /var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/temp/clang-wrappers/clang - skipped
-- Detecting C compile features
-- Detecting C compile features - done
-- tbuddy not found, not compiling with tbuddy-based GJ FRAT proofs
-- Performing Test CMAKE_HAVE_LIBC_PTHREAD
-- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success
-- Found Threads: TRUE  
-- build type is RelWithDebInfo
-- Performing Test HAVE_FLAG_-fvisibility=hidden
-- Performing Test HAVE_FLAG_-fvisibility=hidden - Success
-- Performing Test HAVE_FLAG_-Wall
-- Performing Test HAVE_FLAG_-Wall - Success
-- Performing Test HAVE_FLAG_-Wextra
-- Performing Test HAVE_FLAG_-Wextra - Success
-- Performing Test HAVE_FLAG_-Wunused
-- Performing Test HAVE_FLAG_-Wunused - Success
-- Performing Test HAVE_FLAG_-Wsign-compare
-- Performing Test HAVE_FLAG_-Wsign-compare - Success
-- Performing Test HAVE_FLAG_-fno-omit-frame-pointer
-- Performing Test HAVE_FLAG_-fno-omit-frame-pointer - Success
-- Performing Test HAVE_FLAG_-Wtype-limits
-- Performing Test HAVE_FLAG_-Wtype-limits - Success
-- Performing Test HAVE_FLAG_-Wuninitialized
-- Performing Test HAVE_FLAG_-Wuninitialized - Success
-- Performing Test HAVE_FLAG_-Wno-deprecated
-- Performing Test HAVE_FLAG_-Wno-deprecated - Success
-- Performing Test HAVE_FLAG_-Wstrict-aliasing
-- Performing Test HAVE_FLAG_-Wstrict-aliasing - Success
-- Performing Test HAVE_FLAG_-Wpointer-arith
-- Performing Test HAVE_FLAG_-Wpointer-arith - Success
-- Performing Test HAVE_FLAG_-Wheader-guard
-- Performing Test HAVE_FLAG_-Wheader-guard - Success
-- Performing Test HAVE_FLAG_-Wformat-nonliteral
-- Performing Test HAVE_FLAG_-Wformat-nonliteral - Success
-- Performing Test HAVE_FLAG_-Winit-self
-- Performing Test HAVE_FLAG_-Winit-self - Success
-- Performing Test HAVE_FLAG_-Wparentheses
-- Performing Test HAVE_FLAG_-Wparentheses - Success
-- Performing Test HAVE_FLAG_-Wunreachable-code
-- Performing Test HAVE_FLAG_-Wunreachable-code - Success
-- Performing Test HAVE_FLAG_-g
-- Performing Test HAVE_FLAG_-g - Success
-- Performing Test HAVE_FLAG_-Wno-class-memaccess
-- Performing Test HAVE_FLAG_-Wno-class-memaccess - Failed
-- Performing Test HAVE_FLAG_-mpopcnt
-- Performing Test HAVE_FLAG_-mpopcnt - Success
-- Performing Test HAVE_FLAG_-msse4.2
-- Performing Test HAVE_FLAG_-msse4.2 - Success
-- Performing Test HAVE_FLAG_-Wextra-semi-stmt
-- Performing Test HAVE_FLAG_-Wextra-semi-stmt - Success
-- Performing Test HAVE_FLAG_-Wnoweak-vtables
-- Performing Test HAVE_FLAG_-Wnoweak-vtables - Failed
-- Performing Test HAVE_FLAG_-ggdb3
-- Performing Test HAVE_FLAG_-ggdb3 - Success
-- Compiling for dynamic library use
-- GIT hash found: GIT-notfound
-- PROJECT_VERSION: 5.11.15
-- PROJECT_VERSION_MAJOR: 5
-- PROJECT_VERSION_MINOR: 11
-- PROJECT_VERSION_PATCH: 15
-- Found Boost: /usr/lib64/cmake/Boost-1.83.0/BoostConfig.cmake (found suitable version "1.83.0", minimum required is "1.46.0") found components: program_options 
-- Not compiling detailed statistics. The system is faster without them
-- Manpage will be created and installed
-- Found ZLIB: /usr/lib64/libz.so (found version "1.3")  
-- OK, Found ZLIB!
-- Performing Test HAVE__FPU_SETCW
-- Performing Test HAVE__FPU_SETCW - Success
-- Found FPU code for yalsat: fpu_control.h, _FPU_SINGLE, _FPU_DOUBLE
-- Boost -- found at library: Boost::program_options
-- All defines at startup:  -DRDB0_ONLY_FEATURES -DBOOST_TEST_DYN_LINK -DUSE_ZLIB -DYALSAT_FPU
-- 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:768 (message):
  Testing is disabled


-- <<< Gentoo configuration >>>
Build type      RelWithDebInfo
Install path    /usr
Compiler flags:
C               -O3 -pipe -march=native -fno-diagnostics-color -Werror=implicit-function-declaration -Werror=implicit-int
C++             -O3 -pipe -march=native -fno-diagnostics-color -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -mpopcnt -msse4.2 -Wextra-semi-stmt -ggdb3
Linker flags:
Executable       -Wl,-O1 -Wl,--as-needed -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -O2 -Wl,--discard-all -Wl,--build-id=sha1
Module          -Wl,-O1 -Wl,--as-needed -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0
Shared          -Wl,-O1 -Wl,--as-needed -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -O2

-- Configuring done (7.2s)
-- Generating done (0.0s)
CMake Warning:
  Manually-specified variables were not used by the project:

    NOM4RI


-- Build files have been written to: /var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15_build
>>> Source configured.
'/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/temp/clang16-errors.log' -> '/var/tmp/clang/sci-mathematics/cryptominisat-5.11.15/clang16-errors.log'
'/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/temp/clang16-safe.log' -> '/var/tmp/clang/sci-mathematics/cryptominisat-5.11.15/clang16-safe.log'
>>> Compiling source in /var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15 ...
 * Source directory (CMAKE_USE_DIR): "/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15"
 * Build directory  (BUILD_DIR):     "/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15_build"
ninja -v -j4 -l0
[1/57] /usr/lib/llvm/17/bin/clang++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src  -O3 -pipe -march=native -fno-diagnostics-color -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -mpopcnt -msse4.2 -Wextra-semi-stmt -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -std=gnu++17 -fPIC -fno-color-diagnostics -g -pthread -O2 -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 /var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src/frat.cpp
[2/57] /usr/lib/llvm/17/bin/clang++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src  -O3 -pipe -march=native -fno-diagnostics-color -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -mpopcnt -msse4.2 -Wextra-semi-stmt -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -std=gnu++17 -fPIC -fno-color-diagnostics -g -pthread -O2 -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 /var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src/propengine.cpp
FAILED: cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o 
/usr/lib/llvm/17/bin/clang++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src  -O3 -pipe -march=native -fno-diagnostics-color -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -mpopcnt -msse4.2 -Wextra-semi-stmt -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -std=gnu++17 -fPIC -fno-color-diagnostics -g -pthread -O2 -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 /var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src/propengine.cpp
In file included from /var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src/propengine.cpp:32:
In file included from /var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src/solver.h:37:
In file included from /var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src/searcher.h:30:
/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src/time_mem.h:183:65: error: no member named 'bind1st' in namespace 'std'
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~^
/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src/time_mem.h:185:65: error: no member named 'bind1st' in namespace 'std'
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~^
2 errors generated.
[3/57] /usr/lib/llvm/17/bin/clang++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src  -O3 -pipe -march=native -fno-diagnostics-color -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -mpopcnt -msse4.2 -Wextra-semi-stmt -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -std=gnu++17 -fPIC -fno-color-diagnostics -g -pthread -O2 -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 /var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src/cnf.cpp
FAILED: cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o 
/usr/lib/llvm/17/bin/clang++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src  -O3 -pipe -march=native -fno-diagnostics-color -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -mpopcnt -msse4.2 -Wextra-semi-stmt -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -std=gnu++17 -fPIC -fno-color-diagnostics -g -pthread -O2 -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 /var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src/cnf.cpp
In file included from /var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src/cnf.cpp:32:
/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src/time_mem.h:183:65: error: no member named 'bind1st' in namespace 'std'
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~^
/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src/time_mem.h:185:65: error: no member named 'bind1st' in namespace 'std'
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~^
2 errors generated.
[4/57] /usr/lib/llvm/17/bin/clang++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src  -O3 -pipe -march=native -fno-diagnostics-color -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -mpopcnt -msse4.2 -Wextra-semi-stmt -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -std=gnu++17 -fPIC -fno-color-diagnostics -g -pthread -O2 -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 /var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src/varreplacer.cpp
FAILED: cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o 
/usr/lib/llvm/17/bin/clang++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src  -O3 -pipe -march=native -fno-diagnostics-color -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -mpopcnt -msse4.2 -Wextra-semi-stmt -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -std=gnu++17 -fPIC -fno-color-diagnostics -g -pthread -O2 -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 /var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src/varreplacer.cpp
In file included from /var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src/varreplacer.cpp:25:
In file included from /var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src/solver.h:37:
In file included from /var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src/searcher.h:30:
/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src/time_mem.h:183:65: error: no member named 'bind1st' in namespace 'std'
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~^
/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src/time_mem.h:185:65: error: no member named 'bind1st' in namespace 'std'
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~^
/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src/varreplacer.cpp:1265:52: warning: declaration shadows a field of 'CMSat::VarReplacer' [-Wshadow]
 1265 | void VarReplacer::Stats::print_short(const Solver* solver) const
      |                                                    ^
/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src/varreplacer.h:122:17: note: previous declaration is here
  122 |         Solver* solver;
      |                 ^
1 warning and 2 errors generated.
[5/57] /usr/lib/llvm/17/bin/clang++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src  -O3 -pipe -march=native -fno-diagnostics-color -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -mpopcnt -msse4.2 -Wextra-semi-stmt -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -std=gnu++17 -fPIC -fno-color-diagnostics -g -pthread -O2 -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 /var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src/clausecleaner.cpp
FAILED: cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o 
/usr/lib/llvm/17/bin/clang++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src  -O3 -pipe -march=native -fno-diagnostics-color -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -mpopcnt -msse4.2 -Wextra-semi-stmt -ggdb3 -Wno-bitfield-constant-conversion -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -std=gnu++17 -fPIC -fno-color-diagnostics -g -pthread -O2 -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 /var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src/clausecleaner.cpp
In file included from /var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src/clausecleaner.cpp:25:
In file included from /var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src/solver.h:37:
In file included from /var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src/searcher.h:30:
/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src/time_mem.h:183:65: error: no member named 'bind1st' in namespace 'std'
  183 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
      |                                                            ~~~~~^
/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src/time_mem.h:185:65: error: no member named 'bind1st' in namespace 'std'
  185 |                         std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
      |                                                            ~~~~~^
/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src/clausecleaner.cpp:346:63: warning: declaration shadows a field of 'CMSat::ClauseCleaner' [-Wshadow]
  346 | void ClauseCleaner::ImplicitData::update_solver_stats(Solver* solver)
      |                                                               ^
/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src/clausecleaner.h:89:17: note: previous declaration is here
   89 |         Solver* solver;
      |                 ^
1 warning and 2 errors generated.
ninja: build stopped: subcommand failed.
 * ERROR: sci-mathematics/cryptominisat-5.11.15::gentoo failed (compile phase):
 *   ninja -v -j4 -l0 failed
 * 
 * Call stack:
 *     ebuild.sh, line  136:  Called src_compile
 *   environment, line 2422:  Called cmake_src_compile
 *   environment, line 1003:  Called cmake_build
 *   environment, line  970:  Called eninja
 *   environment, line 1432:  Called die
 * The specific snippet of code:
 *       "$@" || die -n "${*} failed"
 * 
 * If you need support, post the output of `emerge --info '=sci-mathematics/cryptominisat-5.11.15::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=sci-mathematics/cryptominisat-5.11.15::gentoo'`.
 * The complete build log is located at '/var/log/portage/sci-mathematics:cryptominisat-5.11.15:20231213-012937.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/temp/environment'.
 * Working directory: '/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15_build'
 * S: '/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15'