z3-4.8.6:20190925-002828.log

z3-4.8.6:20190925-002828.log (text/plain), 8.92 KB, created by Alessandro Barbieri on 2019-09-25 00:56:26 UTC

 * Package:    sci-mathematics/z3-4.8.6
 * Repository: gentoo
 * Maintainer: [e-mail] [e-mail],[e-mail],[e-mail]
 * USE:        abi_x86_64 amd64 elibc_glibc gmp kernel_linux python python_single_target_python3_6 python_targets_python2_7 python_targets_python3_6 python_targets_python3_7 userland_GNU
 * FEATURES:   fakeroot network-sandbox preserve-libs sandbox usersandbox
Auto packing the repository in background for optimum performance.
See "git help gc" for manual housekeeping.
[master 3093c3a] saving uncommitted changes in /etc prior to emerge run
 Author: Alessandro-Barbieri <[e-mail]>
 2 files changed, 3 insertions(+), 2 deletions(-)
>>>  -sandbox(setup)
sci-mathematics/z3: 18 minutes, 50 seconds average for 4 merges
2019-08-09T18:27:01 >>> sci-mathematics/z3: 19 minutes, 21 seconds
2019-08-19T10:07:51 >>> sci-mathematics/z3: 12 minutes, 11 seconds
2019-08-26T02:47:36 >>> sci-mathematics/z3: 26 minutes, 59 seconds
2019-09-09T20:43:15 >>> sci-mathematics/z3: 16 minutes, 51 seconds
]0;emerge 02:28:29 1|1 z3 19:21 (root@ALESSAND-F1E8)kemerge 02:28:29 1|1 z3 19:21 (root@ALESSAND-F1E8)\ * /etc/portage/package.cflags/cflags -> */*: NOFFLAGS=1
 * /etc/portage/package.cflags/cflags -> */*: LDFLAGS-="-Wl,-z,now -Wl,-z,relro"
 * /etc/portage/package.cflags/cflags -> */*: USE_NONGNU="" +fPIE +fstack-protector-all +D_FORTIFY_SOURCE=2 
 * FEATURES='assume-digests binpkg-docompress binpkg-dostrip binpkg-logs candy cgroup clean-logs config-protect-if-modified distlocks ebuild-locks fakeroot fixlafiles ipc-sandbox merge-sync metadata-transfer multilib-strict network-sandbox news parallel-fetch parallel-install pid-sandbox preserve-libs protect-owned sandbox sfperms sign split-elog split-log strict strict-keepdir unknown-features-warn unmerge-logs unmerge-orphans userfetch usersandbox usersync xattr'
 * CFLAGS='-Os -pipe -march=native -mtune=native -mfpmath=sse -Wdate-time -Wno-error=implicit-function-declaration -fopenmp -pthread -fno-unroll-all-loops -fno-unroll-loops -fno-peel-loops -Wformat -Wformat-security -Warray-bounds -Wclobbered -Wimplicit-function-declaration -Wvolatile-register-var -Wl,-O1 -Wl,--as-needed -Wl,-fuse-ld=gold -lpthread -lgomp'
 * CXXFLAGS='-Os -pipe -march=native -mtune=native -mfpmath=sse -Wdate-time -Wno-error=implicit-function-declaration -fopenmp -pthread -fno-unroll-all-loops -fno-unroll-loops -fno-peel-loops -Wformat -Wformat-security -Warray-bounds -Wclobbered -Wimplicit-function-declaration -Wvolatile-register-var -Wl,-O1 -Wl,--as-needed -Wl,-fuse-ld=gold -lpthread -lgomp'
 * FFLAGS='-Os -pipe -march=native -mtune=native -mfpmath=sse -Wdate-time -Wno-error=implicit-function-declaration -fopenmp -pthread -fno-unroll-all-loops -fno-unroll-loops -fno-peel-loops'
 * FCFLAGS='-Os -pipe -march=native -mtune=native -mfpmath=sse -Wdate-time -Wno-error=implicit-function-declaration -fopenmp -pthread -fno-unroll-all-loops -fno-unroll-loops -fno-peel-loops'
 * F77FLAGS='-Os -pipe -march=native -mtune=native -mfpmath=sse -Wdate-time -Wno-error=implicit-function-declaration -fopenmp -pthread -fno-unroll-all-loops -fno-unroll-loops -fno-peel-loops'
 * LDFLAGS='-Wl,-O1 -Wl,--as-needed -Wl,-O1 -Wl,--as-needed -Wl,-fuse-ld=gold -lpthread -lgomp'
 * MAKEOPTS='-j4 -l8'
 * gcc (Gentoo Hardened 9.2.0 p1) 9.2.0
 * Linux ALESSAND-F1E8 4.19.10-rt-rt8-bfq-aufs4-debian-graysky-ksm-CJK #15 SMP PREEMPT RT Wed Sep 18 16:42:34 CEST 2019 x86_64 Intel(R) Core(TM) i5 CPU 650 @ 3.20GHz GenuineIntel GNU/Linux
>>> Unpacking source...
>>> Unpacking z3-4.8.6.tar.gz to /var/tmp/portage/sci-mathematics/z3-4.8.6/work
>>> Source unpacked in /var/tmp/portage/sci-mathematics/z3-4.8.6/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/z3-4.8.6/work/z3-z3-4.8.6 ...
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/sci-mathematics/z3-4.8.6/work/z3-z3-4.8.6 ...
 * abi_x86_64.amd64: running multilib-minimal_abi_src_configure
>>> Working in BUILD_DIR: "/var/tmp/portage/sci-mathematics/z3-4.8.6/work/z3-z3-4.8.6-abi_x86_64.amd64"
cmake -C /var/tmp/portage/sci-mathematics/z3-4.8.6/work/z3-z3-4.8.6-abi_x86_64.amd64/gentoo_common_config.cmake -G Ninja -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_INSTALL_DOCDIR=/usr/share/doc/z3-4.8.6 -DUSE_LIB_GMP=yes -DENABLE_EXAMPLE_TARGETS=OFF -DBUILD_DOCUMENTATION=no -DBUILD_PYTHON_BINDINGS=yes -DBUILD_JAVA_BINDINGS=no -DCMAKE_BUILD_TYPE=RelWithDebInfo -DCMAKE_TOOLCHAIN_FILE=/var/tmp/portage/sci-mathematics/z3-4.8.6/work/z3-z3-4.8.6-abi_x86_64.amd64/gentoo_toolchain.cmake  /var/tmp/portage/sci-mathematics/z3-4.8.6/work/z3-z3-4.8.6
loading initial cache file /var/tmp/portage/sci-mathematics/z3-4.8.6/work/z3-z3-4.8.6-abi_x86_64.amd64/gentoo_common_config.cmake
CMake Warning (dev) at gentoo_common_config.cmake:8 (SET):
  implicitly converting 'BOOLEAN' to 'STRING' type.
This warning is for project developers.  Use -Wno-dev to suppress it.

-- The CXX compiler identification is GNU 9.2.0
-- Check for working CXX compiler: /usr/bin/g++
-- Check for working CXX compiler: /usr/bin/g++ -- works
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Z3 version 4.8.6.0
-- Failed to find git directory.
CMake Warning at CMakeLists.txt:60 (message):
  Disabling INCLUDE_GIT_DESCRIBE
Call Stack (most recent call first):
  CMakeLists.txt:109 (disable_git_describe)


CMake Warning at CMakeLists.txt:64 (message):
  Disabling INCLUDE_GIT_HASH
Call Stack (most recent call first):
  CMakeLists.txt:110 (disable_git_hash)


-- CMake generator: Ninja
-- Build type: RelWithDebInfo
-- Found PythonInterp: /var/tmp/portage/sci-mathematics/z3-4.8.6/temp/python3.6/bin/python (found version "3.6.9") 
-- PYTHON_EXECUTABLE: /var/tmp/portage/sci-mathematics/z3-4.8.6/temp/python3.6/bin/python
-- Detected target architecture: x86_64
-- Platform: Linux
-- Found GMP C library: "/usr/lib64/libgmp.so"
-- Found GMP C++ library: "/usr/lib64/libgmpxx.so"
-- Found GMP C include path: "/usr/include"
-- Found GMP C++ include path: "/usr/include"
-- Found GMP
-- Found GMP: /usr/include  
-- Using libgmp
-- Not using API_LOG_SYNC
-- Thread-safe build
-- Performing Test HAS_SSE2
-- Performing Test HAS_SSE2 - Failed
-- Looking for C++ include pthread.h
-- Looking for C++ include pthread.h - found
-- Performing Test CMAKE_HAVE_LIBC_PTHREAD
-- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success
-- Found Threads: TRUE  
-- Performing Test HAS__Wall
-- Performing Test HAS__Wall - Failed
-- C++ compiler does not support -Wall
-- Treating only serious compiler warnings as errors
-- Performing Test HAS__Werror_odr
-- Performing Test HAS__Werror_odr - Failed
-- C++ compiler does not support -Werror=odr
-- Performing Test HAS__fvisibility_hidden
-- Performing Test HAS__fvisibility_hidden - Failed
CMake Error at cmake/z3_add_cxx_flag.cmake:15 (message):
  The flag "-fvisibility=hidden" is required but your C++ compiler doesn't
  support it
Call Stack (most recent call first):
  CMakeLists.txt:355 (z3_add_cxx_flag)


-- Configuring incomplete, errors occurred!
See also "/var/tmp/portage/sci-mathematics/z3-4.8.6/work/z3-z3-4.8.6-abi_x86_64.amd64/CMakeFiles/CMakeOutput.log".
See also "/var/tmp/portage/sci-mathematics/z3-4.8.6/work/z3-z3-4.8.6-abi_x86_64.amd64/CMakeFiles/CMakeError.log".
 * ERROR: sci-mathematics/z3-4.8.6::gentoo failed (configure phase):
 *   cmake failed
 * 
 * Call stack:
 *     ebuild.sh, line  125:  Called src_configure
 *   environment, line 4858:  Called cmake-multilib_src_configure
 *   environment, line 2060:  Called multilib-minimal_src_configure
 *   environment, line 3220:  Called multilib_foreach_abi 'multilib-minimal_abi_src_configure'
 *   environment, line 3447:  Called multibuild_foreach_variant '_multilib_multibuild_wrapper' 'multilib-minimal_abi_src_configure'
 *   environment, line 3150:  Called _multibuild_run '_multilib_multibuild_wrapper' 'multilib-minimal_abi_src_configure'
 *   environment, line 3148:  Called _multilib_multibuild_wrapper 'multilib-minimal_abi_src_configure'
 *   environment, line 1759:  Called multilib-minimal_abi_src_configure
 *   environment, line 3214:  Called multilib_src_configure
 *   environment, line 3672:  Called cmake-utils_src_configure
 *   environment, line 2237:  Called die
 * The specific snippet of code:
 *       "${CMAKE_BINARY}" "${cmakeargs[@]}" "${CMAKE_USE_DIR}" || die "cmake failed";
 * 
 * If you need support, post the output of `emerge --info '=sci-mathematics/z3-4.8.6::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=sci-mathematics/z3-4.8.6::gentoo'`.
 * The complete build log is located at '/var/log/portage/build/sci-mathematics/z3-4.8.6:20190925-002828.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/z3-4.8.6/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/z3-4.8.6/temp/environment'.
 * Working directory: '/var/tmp/portage/sci-mathematics/z3-4.8.6/work/z3-z3-4.8.6-abi_x86_64.amd64'
 * S: '/var/tmp/portage/sci-mathematics/z3-4.8.6/work/z3-z3-4.8.6'