sci-mathematics:vampire-4.6.1:20211211-163430.log

sci-mathematics:vampire-4.6.1:20211211-163430.log (text/plain), 7.64 KB, created by Toralf Förster on 2021-12-11 16:42:43 UTC

 * Package:    sci-mathematics/vampire-4.6.1
 * Repository: gentoo
 * Maintainer: [e-mail]
 * 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'