* Package: sci-mathematics/cryptominisat-5.11.15:0/5.11.15 * Repository: gentoo * Maintainer: sci-mathematics@gentoo.org * 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(), '\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(), ' '))); | ~~~~~^ 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(), '\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(), ' '))); | ~~~~~^ 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(), '\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(), ' '))); | ~~~~~^ /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(), '\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(), ' '))); | ~~~~~^ /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'