sci-mathematics:lean-3.51.1:20240806-042356.log

sci-mathematics:lean-3.51.1:20240806-042356.log (text/plain), 13.72 KB, created by Toralf Förster on 2024-08-06 07:09:14 UTC

 * Package:    sci-mathematics/lean-3.51.1:0/3
 * Repository: gentoo
 * Maintainer: [e-mail]
 * Upstream:   https://github.com/leanprover-community/lean/issues
 * USE:        abi_x86_64 amd64 elibc_glibc kernel_linux threads
 * FEATURES:   network-sandbox preserve-libs sandbox userpriv usersandbox

>>> Unpacking source...
>>> Unpacking lean-3.51.1.tar.gz to /var/tmp/portage/sci-mathematics/lean-3.51.1/work
>>> Source unpacked in /var/tmp/portage/sci-mathematics/lean-3.51.1/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src ...
 * Source directory (CMAKE_USE_DIR): "/var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src"
 * Build directory  (BUILD_DIR):     "/var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src"
 * Applying lean-3.50.3-gcc-13.patch ...
 [ ok ]
 * Applying lean-CMakeLists-fix_flags.patch ...
 [ ok ]
 * Hardcoded definition(s) removed in CMakeLists.txt:
 *    set(CMAKE_BUILD_TYPE "Release")
 *  set(CMAKE_COLOR_MAKEFILE ON)
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src ...
 * Source directory (CMAKE_USE_DIR): "/var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src"
 * Build directory  (BUILD_DIR):     "/var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src"
cmake -C /var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src/gentoo_common_config.cmake -G Ninja -DCMAKE_INSTALL_PREFIX=/usr -DALPHA=ON -DAUTO_THREAD_FINALIZATION=ON -DJSON=ON -DLEAN_EXTRA_CXX_FLAGS=-O2 -pipe -march=native -fno-diagnostics-color -falign-functions=32:25:16 -DMULTI_THREAD=yes -DUSE_GITHASH=OFF -DCMAKE_BUILD_TYPE=Release -DCMAKE_TOOLCHAIN_FILE=/var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src/gentoo_toolchain.cmake /var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src
loading initial cache file /var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src/gentoo_common_config.cmake
CMake Deprecation Warning at CMakeLists.txt:1 (cmake_minimum_required):
  Compatibility with CMake < 3.5 will be removed from a future version of
  CMake.

  Update the VERSION argument <min> value or use a ...<max> suffix to tell
  CMake that the project does not need compatibility with older versions.


-- The CXX compiler identification is GNU 15.0.0
-- The C compiler identification is GNU 15.0.0
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /usr/bin/x86_64-pc-linux-gnu-g++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Check for working C compiler: /usr/bin/x86_64-pc-linux-gnu-gcc - skipped
-- Detecting C compile features
-- Detecting C compile features - done
-- Lean library will be installed at /usr/lib/lean
-- Found GMP: /usr/include (Required is at least version "5.0.5")
-- Using standard malloc.
CMake Warning (dev) at CMakeLists.txt:346 (find_package):
  Policy CMP0148 is not set: The FindPythonInterp and FindPythonLibs modules
  are removed.  Run "cmake --help-policy CMP0148" for policy details.  Use
  the cmake_policy command to set the policy and suppress this warning.

This warning is for project developers.  Use -Wno-dev to suppress it.

-- Found PythonInterp: /usr/bin/python (found version "3.12.4")
CMake Warning (dev) at cmake/Modules/StyleCheck.cmake:19 (find_package):
  Policy CMP0148 is not set: The FindPythonInterp and FindPythonLibs modules
  are removed.  Run "cmake --help-policy CMP0148" for policy details.  Use
  the cmake_policy command to set the policy and suppress this warning.

Call Stack (most recent call first):
  CMakeLists.txt:464 (include)
This warning is for project developers.  Use -Wno-dev to suppress it.

-- <<< Gentoo configuration >>>
Build type      Release
Install path    /usr
Compiler flags:
C               -O2 -pipe -march=native -fno-diagnostics-color -falign-functions=32:25:16
C++             -Wall -Wextra -std=c++11 -O2 -pipe -march=native -fno-diagnostics-color -falign-functions=32:25:16 -D LEAN_USE_ALPHA -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -fdisable-tree-ifcombine
Linker flags:
Executable      -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0  -pthread
Module          -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0
Shared          -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0

-- Configuring done (0.8s)
-- Generating done (4.0s)
-- Build files have been written to: /var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src
>>> Source configured.
>>> Compiling source in /var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src ...
 * Source directory (CMAKE_USE_DIR): "/var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src"
 * Build directory  (BUILD_DIR):     "/var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src"
ninja -v -j4 -l0
[1/424] /usr/bin/x86_64-pc-linux-gnu-g++  -I/var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src  -Wall -Wextra -std=c++11 -O2 -pipe -march=native -fno-diagnostics-color -falign-functions=32:25:16 -D LEAN_USE_ALPHA -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -fdisable-tree-ifcombine -DNDEBUG -fno-diagnostics-color -MD -MT util/CMakeFiles/util.dir/name_set.cpp.o -MF util/CMakeFiles/util.dir/name_set.cpp.o.d -o util/CMakeFiles/util.dir/name_set.cpp.o -c /var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src/util/name_set.cpp
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0, 4294967295]
[2/424] /usr/bin/x86_64-pc-linux-gnu-g++  -I/var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src  -Wall -Wextra -std=c++11 -O2 -pipe -march=native -fno-diagnostics-color -falign-functions=32:25:16 -D LEAN_USE_ALPHA -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -fdisable-tree-ifcombine -DNDEBUG -fno-diagnostics-color -MD -MT util/CMakeFiles/util.dir/fresh_name.cpp.o -MF util/CMakeFiles/util.dir/fresh_name.cpp.o.d -o util/CMakeFiles/util.dir/fresh_name.cpp.o -c /var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src/util/fresh_name.cpp
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0, 4294967295]
[3/424] /usr/bin/x86_64-pc-linux-gnu-g++  -I/var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src  -Wall -Wextra -std=c++11 -O2 -pipe -march=native -fno-diagnostics-color -falign-functions=32:25:16 -D LEAN_USE_ALPHA -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -fdisable-tree-ifcombine -DNDEBUG -fno-diagnostics-color -MD -MT util/CMakeFiles/util.dir/debug.cpp.o -MF util/CMakeFiles/util.dir/debug.cpp.o.d -o util/CMakeFiles/util.dir/debug.cpp.o -c /var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src/util/debug.cpp
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0, 4294967295]
[4/424] /usr/bin/x86_64-pc-linux-gnu-g++  -I/var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src  -Wall -Wextra -std=c++11 -O2 -pipe -march=native -fno-diagnostics-color -falign-functions=32:25:16 -D LEAN_USE_ALPHA -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -fdisable-tree-ifcombine -DNDEBUG -fno-diagnostics-color -MD -MT util/CMakeFiles/util.dir/interrupt.cpp.o -MF util/CMakeFiles/util.dir/interrupt.cpp.o.d -o util/CMakeFiles/util.dir/interrupt.cpp.o -c /var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src/util/interrupt.cpp
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0, 4294967295]
[5/424] /usr/bin/x86_64-pc-linux-gnu-g++  -I/var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src  -Wall -Wextra -std=c++11 -O2 -pipe -march=native -fno-diagnostics-color -falign-functions=32:25:16 -D LEAN_USE_ALPHA -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -fdisable-tree-ifcombine -DNDEBUG -fno-diagnostics-color -MD -MT util/CMakeFiles/util.dir/exception.cpp.o -MF util/CMakeFiles/util.dir/exception.cpp.o.d -o util/CMakeFiles/util.dir/exception.cpp.o -c /var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src/util/exception.cpp
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0, 4294967295]
[6/424] /usr/bin/x86_64-pc-linux-gnu-g++  -I/var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src  -Wall -Wextra -std=c++11 -O2 -pipe -march=native -fno-diagnostics-color -falign-functions=32:25:16 -D LEAN_USE_ALPHA -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -fdisable-tree-ifcombine -DNDEBUG -fno-diagnostics-color -MD -MT util/CMakeFiles/util.dir/hash.cpp.o -MF util/CMakeFiles/util.dir/hash.cpp.o.d -o util/CMakeFiles/util.dir/hash.cpp.o -c /var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src/util/hash.cpp
FAILED: util/CMakeFiles/util.dir/hash.cpp.o 
/usr/bin/x86_64-pc-linux-gnu-g++  -I/var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src  -Wall -Wextra -std=c++11 -O2 -pipe -march=native -fno-diagnostics-color -falign-functions=32:25:16 -D LEAN_USE_ALPHA -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -fdisable-tree-ifcombine -DNDEBUG -fno-diagnostics-color -MD -MT util/CMakeFiles/util.dir/hash.cpp.o -MF util/CMakeFiles/util.dir/hash.cpp.o.d -o util/CMakeFiles/util.dir/hash.cpp.o -c /var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src/util/hash.cpp
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0, 4294967295]
/var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src/util/hash.cpp:75:8: error: 'uint64_t' does not name a type
   75 | static uint64_t MurmurHash64A(void const * key, int len, unsigned int seed) {
      |        ^~~~~~~~
/var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src/util/hash.cpp:8:1: note: 'uint64_t' is defined in header '<cstdint>'; this is probably fixable by adding '#include <cstdint>'
    7 | #include "util/hash.h"
  +++ |+#include <cstdint>
    8 | #include <string>
/var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src/util/hash.cpp: In function 'lean::uint64 lean::hash64_str(unsigned int, const char*)':
/var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src/util/hash.cpp:116:12: error: 'MurmurHash64A' was not declared in this scope
  116 |     return MurmurHash64A(str, len, 0);
      |            ^~~~~~~~~~~~~
[7/424] /usr/bin/x86_64-pc-linux-gnu-g++  -I/var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src  -Wall -Wextra -std=c++11 -O2 -pipe -march=native -fno-diagnostics-color -falign-functions=32:25:16 -D LEAN_USE_ALPHA -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -fdisable-tree-ifcombine -DNDEBUG -fno-diagnostics-color -MD -MT util/CMakeFiles/util.dir/escaped.cpp.o -MF util/CMakeFiles/util.dir/escaped.cpp.o.d -o util/CMakeFiles/util.dir/escaped.cpp.o -c /var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src/util/escaped.cpp
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0, 4294967295]
[8/424] /usr/bin/x86_64-pc-linux-gnu-g++  -I/var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src  -Wall -Wextra -std=c++11 -O2 -pipe -march=native -fno-diagnostics-color -falign-functions=32:25:16 -D LEAN_USE_ALPHA -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -fdisable-tree-ifcombine -DNDEBUG -fno-diagnostics-color -MD -MT util/CMakeFiles/util.dir/bit_tricks.cpp.o -MF util/CMakeFiles/util.dir/bit_tricks.cpp.o.d -o util/CMakeFiles/util.dir/bit_tricks.cpp.o -c /var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src/util/bit_tricks.cpp
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0, 4294967295]
[9/424] /usr/bin/x86_64-pc-linux-gnu-g++  -I/var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src  -Wall -Wextra -std=c++11 -O2 -pipe -march=native -fno-diagnostics-color -falign-functions=32:25:16 -D LEAN_USE_ALPHA -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -fdisable-tree-ifcombine -DNDEBUG -fno-diagnostics-color -MD -MT util/CMakeFiles/util.dir/name.cpp.o -MF util/CMakeFiles/util.dir/name.cpp.o.d -o util/CMakeFiles/util.dir/name.cpp.o -c /var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src/util/name.cpp
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0, 4294967295]
ninja: build stopped: subcommand failed.
 * ERROR: sci-mathematics/lean-3.51.1::gentoo failed (compile phase):
 *   ninja -v -j4 -l0 failed
 * 
 * Call stack:
 *     ebuild.sh, line  136:  Called src_compile
 *   environment, line 2280:  Called cmake_src_compile
 *   environment, line  950:  Called cmake_build
 *   environment, line  917:  Called eninja
 *   environment, line 1392:  Called die
 * The specific snippet of code:
 *       "$@" || die -n "${*} failed"
 * 
 * If you need support, post the output of `emerge --info '=sci-mathematics/lean-3.51.1::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=sci-mathematics/lean-3.51.1::gentoo'`.
 * The complete build log is located at '/var/log/portage/sci-mathematics:lean-3.51.1:20240806-042356.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/lean-3.51.1/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/lean-3.51.1/temp/environment'.
 * Working directory: '/var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src'
 * S: '/var/tmp/portage/sci-mathematics/lean-3.51.1/work/lean-3.51.1/src'