* Package: sci-mathematics/vampire-4.6.1 * Repository: gentoo * Maintainer: xgqt@gentoo.org * Upstream: https://github.com/vprover/vampire/issues/ * USE: abi_x86_64 amd64 elibc_musl kernel_linux userland_GNU z3 * FEATURES: network-sandbox preserve-libs sandbox userpriv usersandbox >>> Unpacking source... >>> Unpacking vampire-4.6.1.tar.gz to /var/tmp/portage/sci-mathematics/vampire-4.6.1/work >>> Source unpacked in /var/tmp/portage/sci-mathematics/vampire-4.6.1/work >>> Preparing source in /var/tmp/portage/sci-mathematics/vampire-4.6.1/work/vampire-4.6.1 ... * Source directory (CMAKE_USE_DIR): "/var/tmp/portage/sci-mathematics/vampire-4.6.1/work/vampire-4.6.1" * Build directory (BUILD_DIR): "/var/tmp/portage/sci-mathematics/vampire-4.6.1/work/vampire-4.6.1_build" * Hardcoded definition(s) removed in CMakeLists.txt: * set(CMAKE_BUILD_TYPE Release CACHE STRING "Choose the type of build." FORCE >>> Source prepared. >>> Configuring source in /var/tmp/portage/sci-mathematics/vampire-4.6.1/work/vampire-4.6.1 ... * Source directory (CMAKE_USE_DIR): "/var/tmp/portage/sci-mathematics/vampire-4.6.1/work/vampire-4.6.1" * Build directory (BUILD_DIR): "/var/tmp/portage/sci-mathematics/vampire-4.6.1/work/vampire-4.6.1_build" cmake -C /var/tmp/portage/sci-mathematics/vampire-4.6.1/work/vampire-4.6.1_build/gentoo_common_config.cmake -G Ninja -DCMAKE_INSTALL_PREFIX=/usr -DZ3_DIR=/usr/lib/cmake/z3/ -DCMAKE_BUILD_TYPE=Release -DCMAKE_TOOLCHAIN_FILE=/var/tmp/portage/sci-mathematics/vampire-4.6.1/work/vampire-4.6.1_build/gentoo_toolchain.cmake /var/tmp/portage/sci-mathematics/vampire-4.6.1/work/vampire-4.6.1 loading initial cache file /var/tmp/portage/sci-mathematics/vampire-4.6.1/work/vampire-4.6.1_build/gentoo_common_config.cmake -- The C compiler identification is GNU 11.2.1 -- The CXX compiler identification is GNU 11.2.1 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/bin/x86_64-gentoo-linux-musl-gcc - skipped -- Detecting C compile features -- Detecting C compile features - done -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/bin/x86_64-gentoo-linux-musl-g++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- IPO supported -- Found Z3 4.8.13.0 fatal: not a git repository (or any parent up to mount point /var/tmp) Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set). -- Setting binary name to 'vampire_z3_rel' -- <<< Gentoo configuration >>> Build type Release Install path /usr Compiler flags: C -pipe -march=native -fno-diagnostics-color -O2 C++ -pipe -march=native -fno-diagnostics-color -O2 Linker flags: Executable -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 Module -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 Shared -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -- Configuring done -- Generating done -- Build files have been written to: /var/tmp/portage/sci-mathematics/vampire-4.6.1/work/vampire-4.6.1_build >>> Source configured. >>> Compiling source in /var/tmp/portage/sci-mathematics/vampire-4.6.1/work/vampire-4.6.1 ... * Source directory (CMAKE_USE_DIR): "/var/tmp/portage/sci-mathematics/vampire-4.6.1/work/vampire-4.6.1" * Build directory (BUILD_DIR): "/var/tmp/portage/sci-mathematics/vampire-4.6.1/work/vampire-4.6.1_build" ninja -v -j4 -l0 [1/250] /usr/bin/x86_64-gentoo-linux-musl-g++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.6.1/work/vampire-4.6.1 -pipe -march=native -fno-diagnostics-color -O2 -Wall -std=c++14 -MD -MT CMakeFiles/obj.dir/CASC/ScheduleExecutor.cpp.o -MF CMakeFiles/obj.dir/CASC/ScheduleExecutor.cpp.o.d -o CMakeFiles/obj.dir/CASC/ScheduleExecutor.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.6.1/work/vampire-4.6.1/CASC/ScheduleExecutor.cpp FAILED: CMakeFiles/obj.dir/CASC/ScheduleExecutor.cpp.o /usr/bin/x86_64-gentoo-linux-musl-g++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.6.1/work/vampire-4.6.1 -pipe -march=native -fno-diagnostics-color -O2 -Wall -std=c++14 -MD -MT CMakeFiles/obj.dir/CASC/ScheduleExecutor.cpp.o -MF CMakeFiles/obj.dir/CASC/ScheduleExecutor.cpp.o.d -o CMakeFiles/obj.dir/CASC/ScheduleExecutor.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.6.1/work/vampire-4.6.1/CASC/ScheduleExecutor.cpp /var/tmp/portage/sci-mathematics/vampire-4.6.1/work/vampire-4.6.1/CASC/ScheduleExecutor.cpp: In member function 'bool CASC::ScheduleExecutor::run(const Schedule&)': /var/tmp/portage/sci-mathematics/vampire-4.6.1/work/vampire-4.6.1/CASC/ScheduleExecutor.cpp:99:52: error: 'SIGCONT' was not declared in this scope 99 | Multiprocessing::instance()->kill(process, SIGCONT); | ^~~~~~~ /var/tmp/portage/sci-mathematics/vampire-4.6.1/work/vampire-4.6.1/CASC/ScheduleExecutor.cpp:156:55: error: 'SIGKILL' was not declared in this scope 156 | Multiprocessing::instance()->killNoCheck(process, SIGKILL); | ^~~~~~~ [2/250] /usr/bin/x86_64-gentoo-linux-musl-g++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.6.1/work/vampire-4.6.1 -pipe -march=native -fno-diagnostics-color -O2 -Wall -std=c++14 -MD -MT CMakeFiles/obj.dir/CASC/PortfolioMode.cpp.o -MF CMakeFiles/obj.dir/CASC/PortfolioMode.cpp.o.d -o CMakeFiles/obj.dir/CASC/PortfolioMode.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.6.1/work/vampire-4.6.1/CASC/PortfolioMode.cpp [3/250] /usr/bin/x86_64-gentoo-linux-musl-g++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.6.1/work/vampire-4.6.1 -pipe -march=native -fno-diagnostics-color -O2 -Wall -std=c++14 -MD -MT CMakeFiles/obj.dir/CASC/CLTBMode.cpp.o -MF CMakeFiles/obj.dir/CASC/CLTBMode.cpp.o.d -o CMakeFiles/obj.dir/CASC/CLTBMode.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.6.1/work/vampire-4.6.1/CASC/CLTBMode.cpp [4/250] /usr/bin/x86_64-gentoo-linux-musl-g++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.6.1/work/vampire-4.6.1 -pipe -march=native -fno-diagnostics-color -O2 -Wall -std=c++14 -MD -MT CMakeFiles/obj.dir/CASC/CLTBModeLearning.cpp.o -MF CMakeFiles/obj.dir/CASC/CLTBModeLearning.cpp.o.d -o CMakeFiles/obj.dir/CASC/CLTBModeLearning.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.6.1/work/vampire-4.6.1/CASC/CLTBModeLearning.cpp ninja: build stopped: subcommand failed. * ERROR: sci-mathematics/vampire-4.6.1::gentoo failed (compile phase): * ninja -v -j4 -l0 failed * * Call stack: * ebuild.sh, line 127: Called src_compile * environment, line 1987: Called cmake_src_compile * environment, line 781: Called cmake_build * environment, line 750: Called eninja * environment, line 1204: Called die * The specific snippet of code: * "$@" || die "${nonfatal_args[@]}" "${*} failed" * * If you need support, post the output of `emerge --info '=sci-mathematics/vampire-4.6.1::gentoo'`, * the complete build log and the output of `emerge -pqv '=sci-mathematics/vampire-4.6.1::gentoo'`. * The complete build log is located at '/var/log/portage/sci-mathematics:vampire-4.6.1:20211211-163430.log'. * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/vampire-4.6.1/temp/build.log'. * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/vampire-4.6.1/temp/environment'. * Working directory: '/var/tmp/portage/sci-mathematics/vampire-4.6.1/work/vampire-4.6.1_build' * S: '/var/tmp/portage/sci-mathematics/vampire-4.6.1/work/vampire-4.6.1'