build.log

build.log (text/plain), 10.81 KB, created by Jan Ziak (atomsymbol) on 2018-12-14 11:59:39 UTC

 * Package:    sci-mathematics/z3-4.8.3
 * Repository: gentoo
 * Maintainer: [e-mail] [e-mail],[e-mail],[e-mail]
 * USE:        abi_x86_64 amd64 elibc_glibc examples gmp java kernel_linux openmp python python_single_target_python3_6 python_targets_python2_7 python_targets_python3_6 userland_GNU
 * FEATURES:   ccache nostrip preserve-libs sandbox userpriv
>>> Working in BUILD_DIR: "/var/tmp/portage/sci-mathematics/z3-4.8.3/work/z3-4.8.3_build"
cmake -C /var/tmp/portage/sci-mathematics/z3-4.8.3/work/z3-4.8.3_build/gentoo_common_config.cmake -G Unix Makefiles -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_INSTALL_DOCDIR=/usr/share/doc/z3-4.8.3 -DUSE_LIB_GMP=yes -DUSE_OPENMP=yes -DENABLE_EXAMPLE_TARGETS=OFF -DBUILD_DOCUMENTATION=no -DBUILD_PYTHON_BINDINGS=yes -DBUILD_JAVA_BINDINGS=yes -DCMAKE_BUILD_TYPE=RelWithDebInfo -DCMAKE_TOOLCHAIN_FILE=/var/tmp/portage/sci-mathematics/z3-4.8.3/work/z3-4.8.3_build/gentoo_toolchain.cmake  /var/tmp/portage/sci-mathematics/z3-4.8.3/work/z3-z3-4.8.3
loading initial cache file /var/tmp/portage/sci-mathematics/z3-4.8.3/work/z3-4.8.3_build/gentoo_common_config.cmake
CMake Deprecation Warning at CMakeLists.txt:14 (cmake_policy):
  The OLD behavior for policy CMP0054 will be removed from a future version
  of CMake.

  The cmake-policies(7) manual explains that the OLD behaviors of all
  policies are deprecated and that a policy should be set to OLD only under
  specific short-term circumstances.  Projects should be ported to the NEW
  behavior and not rely on setting a policy to OLD.


-- The CXX compiler identification is GNU 7.3.0
-- Check for working CXX compiler: /usr/lib64/ccache/bin/x86_64-pc-linux-gnu-g++
-- Check for working CXX compiler: /usr/lib64/ccache/bin/x86_64-pc-linux-gnu-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.3.0
-- Failed to find git directory.
CMake Warning at CMakeLists.txt:87 (message):
  Disabling INCLUDE_GIT_DESCRIBE
Call Stack (most recent call first):
  CMakeLists.txt:136 (disable_git_describe)


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


-- CMake generator: Unix Makefiles
-- Build type: RelWithDebInfo
-- Found PythonInterp: /var/tmp/portage/sci-mathematics/z3-4.8.3/temp/python3.6/bin/python (found version "3.6.5") 
-- PYTHON_EXECUTABLE: /var/tmp/portage/sci-mathematics/z3-4.8.3/temp/python3.6/bin/python
-- Detected target architecture: x86_64
-- Platform: Linux
-- Performing Test CLOCK_GETTIME_NO_REQUIRE_LIBRT
-- Performing Test CLOCK_GETTIME_NO_REQUIRE_LIBRT - Success
-- Found GMP C library: "/usr/lib/libgmp.so"
-- Found GMP C++ library: "/usr/lib/libgmpxx.so"
-- Found GMP C include path: "/usr/include"
-- Found GMP C++ include path: "/usr/include"
-- Found GMP
-- Found GMP: /usr/include  
-- Using libgmp
-- Found OpenMP_CXX: -fopenmp (found version "4.5") 
-- Found OpenMP: TRUE (found version "4.5")  
-- Using OpenMP
-- Not using API_LOG_SYNC
-- Performing Test HAS_SSE2
-- Performing Test HAS_SSE2 - Success
-- Looking for C++ include pthread.h
-- Looking for C++ include pthread.h - found
-- Looking for pthread_create
-- Looking for pthread_create - not found
-- Looking for pthread_create in pthreads
-- Looking for pthread_create in pthreads - not found
-- Looking for pthread_create in pthread
-- Looking for pthread_create in pthread - found
-- Found Threads: TRUE  
-- Performing Test HAS__Wall
-- Performing Test HAS__Wall - Success
-- C++ compiler supports -Wall
-- Treating only serious compiler warnings as errors
-- Performing Test HAS__Werror_odr
-- Performing Test HAS__Werror_odr - Success
-- C++ compiler supports -Werror=odr
-- Performing Test HAS__fvisibility_hidden
-- Performing Test HAS__fvisibility_hidden - Success
-- C++ compiler supports -fvisibility=hidden
-- Performing Test HAS__fPIC
-- Performing Test HAS__fPIC - Success
-- C++ compiler supports -fPIC
-- LTO disabled
-- CMAKE_CXX_FLAGS: "-mavx2 -mtune=native -O2  -fdiagnostics-color=always  -fno-optimize-sibling-calls -g1 -fgcse-after-reload -fipa-cp-clone -fpredictive-commoning -fno-stack-protector -funsafe-math-optimizations -Werror=odr "
-- CMAKE_EXE_LINKER_FLAGS: "-Wl,-O1 -Wl,--as-needed -Wl,--as-needed -Wl,--hash-style=gnu"
-- CMAKE_STATIC_LINKER_FLAGS: ""
-- CMAKE_SHARED_LINKER_FLAGS: "-Wl,-O1 -Wl,--as-needed -Wl,--as-needed -Wl,--hash-style=gnu"
-- CMAKE_CXX_FLAGS_RELWITHDEBINFO: ""
-- CMAKE_EXE_LINKER_FLAGS_RELWITHDEBINFO: ""
-- CMAKE_SHARED_LINKER_FLAGS_RELWITHDEBINFO: ""
-- CMAKE_STATIC_LINKER_FLAGS_RELWITHDEBINFO: ""
-- Z3_COMPONENT_CXX_DEFINES: $<$<CONFIG:Debug>:Z3DEBUG>;$<$<CONFIG:Debug>:LEAN_DEBUG>;$<$<CONFIG:Release>:_EXTERNAL_RELEASE>;$<$<CONFIG:RelWithDebInfo>:_EXTERNAL_RELEASE>;-D_AMD64_;-D_LINUX_;-D_USE_THREAD_LOCAL;-D_MP_GMP;$<$<CONFIG:Debug>:_TRACE>
-- Z3_COMPONENT_CXX_FLAGS: -fopenmp;-mfpmath=sse;-msse;-msse2;-Wall;-fvisibility=hidden;-fPIC
-- Z3_DEPENDENT_LIBS: /usr/lib/libgmp.so;-lpthread
-- Z3_COMPONENT_EXTRA_INCLUDE_DIRS: /var/tmp/portage/sci-mathematics/z3-4.8.3/work/z3-4.8.3_build/src;/var/tmp/portage/sci-mathematics/z3-4.8.3/work/z3-z3-4.8.3/src;/usr/include
-- Z3_DEPENDENT_EXTRA_CXX_LINK_FLAGS: -fopenmp
-- CMAKE_INSTALL_LIBDIR: "lib64"
-- CMAKE_INSTALL_BINDIR: "bin"
-- CMAKE_INSTALL_INCLUDEDIR: "include"
-- CMAKE_INSTALL_PKGCONFIGDIR: "lib64/pkgconfig"
-- CMAKE_INSTALL_Z3_CMAKE_PACKAGE_DIR: "lib64/cmake/z3"
-- Adding component util
-- Adding component polynomial
-- Adding rule to generate "algebraic_params.hpp"
-- Adding component sat
-- Adding rule to generate "sat_asymm_branch_params.hpp"
-- Adding rule to generate "sat_params.hpp"
-- Adding rule to generate "sat_scc_params.hpp"
-- Adding rule to generate "sat_simplifier_params.hpp"
-- Adding component nlsat
-- Adding rule to generate "nlsat_params.hpp"
-- Adding component lp
-- Adding rule to generate "lp_params.hpp"
-- Adding component hilbert
-- Adding component simplex
-- Adding component automata
-- Adding component interval
-- Adding component realclosure
-- Adding rule to generate "rcf_params.hpp"
-- Adding component subpaving
-- Adding component ast
-- Adding rule to generate "pp_params.hpp"
-- Adding component rewriter
-- Adding rule to generate "arith_rewriter_params.hpp"
-- Adding rule to generate "array_rewriter_params.hpp"
-- Adding rule to generate "bool_rewriter_params.hpp"
-- Adding rule to generate "bv_rewriter_params.hpp"
-- Adding rule to generate "fpa_rewriter_params.hpp"
-- Adding rule to generate "poly_rewriter_params.hpp"
-- Adding rule to generate "rewriter_params.hpp"
-- Adding component normal_forms
-- Adding rule to generate "nnf_params.hpp"
-- Adding component model
-- Adding rule to generate "model_evaluator_params.hpp"
-- Adding rule to generate "model_params.hpp"
-- Adding component tactic
-- Adding component substitution
-- Adding component parser_util
-- Adding rule to generate "parser_params.hpp"
-- Adding component grobner
-- Adding component euclid
-- Adding component core_tactics
-- Adding component subpaving_tactic
-- Adding component aig_tactic
-- Adding component solver
-- Adding rule to generate "combined_solver_params.hpp"
-- Adding rule to generate "parallel_params.hpp"
-- Adding component sat_tactic
-- Adding component arith_tactics
-- Adding component nlsat_tactic
-- Adding component ackermannization
-- Adding rule to generate "ackermannization_params.hpp"
-- Adding rule to generate "ackermannize_bv_tactic_params.hpp"
-- Adding component cmd_context
-- Adding component extra_cmds
-- Adding component smt2parser
-- Adding component proofs
-- Adding component fpa
-- Adding rule to generate "fpa2bv_rewriter_params.hpp"
-- Adding component macros
-- Adding component pattern
-- Adding rule to generate "pattern_inference_params_helper.hpp"
-- Adding component bit_blaster
-- Adding component smt_params
-- Adding rule to generate "smt_params_helper.hpp"
-- Adding component proto_model
-- Adding component smt
-- Adding component bv_tactics
-- Adding component smt_tactic
-- Adding component sls_tactic
-- Adding rule to generate "sls_params.hpp"
-- Adding component qe
-- Adding component muz
-- Adding rule to generate "fp_params.hpp"
-- Adding component dataflow
-- Adding component transforms
-- Adding component rel
-- Adding component clp
-- Adding component tab
-- Adding component bmc
-- Adding component ddnf
-- Adding component spacer
-- Adding component fp
-- Adding component ufbv_tactic
-- Adding component sat_solver
-- Adding component smtlogic_tactics
-- Adding rule to generate "qfufbv_tactic_params.hpp"
-- Adding component fpa_tactics
-- Adding component fd_solver
-- Adding component portfolio
-- Adding component opt
-- Adding rule to generate "opt_params.hpp"
-- Adding component api
-- Adding component api_dll
-- Adding component fuzzing
-- Emitting rules to build Z3 python bindings
-- Emitting rules to install Z3 python bindings
-- CMAKE_INSTALL_PYTHON_PKG_DIR not set. Trying to guess
-- Detected Python package directory: "/usr/lib64/python3.6/site-packages"
-- Python bindings will be installed to "/usr/lib64/python3.6/site-packages"
-- Found Java: /usr/bin/java (found version "1.8.0_192") 
CMake Error at /usr/share/cmake/Modules/FindPackageHandleStandardArgs.cmake:137 (message):
  Could NOT find JNI (missing: JAVA_AWT_LIBRARY JAVA_JVM_LIBRARY
  JAVA_INCLUDE_PATH JAVA_INCLUDE_PATH2 JAVA_AWT_INCLUDE_PATH)
Call Stack (most recent call first):
  /usr/share/cmake/Modules/FindPackageHandleStandardArgs.cmake:378 (_FPHSA_FAILURE_MESSAGE)
  /usr/share/cmake/Modules/FindJNI.cmake:377 (FIND_PACKAGE_HANDLE_STANDARD_ARGS)
  src/api/java/CMakeLists.txt:2 (find_package)


-- Configuring incomplete, errors occurred!
See also "/var/tmp/portage/sci-mathematics/z3-4.8.3/work/z3-4.8.3_build/CMakeFiles/CMakeOutput.log".
See also "/var/tmp/portage/sci-mathematics/z3-4.8.3/work/z3-4.8.3_build/CMakeFiles/CMakeError.log".
 * ERROR: sci-mathematics/z3-4.8.3::gentoo failed (configure phase):
 *   cmake failed
 * 
 * Call stack:
 *     ebuild.sh, line  124:  Called src_configure
 *   environment, line 3820:  Called cmake-utils_src_configure
 *   environment, line 1027:  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.3::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=sci-mathematics/z3-4.8.3::gentoo'`.
 * The complete build log is located at '/var/log/portage/sci-mathematics:z3-4.8.3:20181214-114651.log.gz'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/z3-4.8.3/temp/build.log.gz'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/z3-4.8.3/temp/environment'.
 * Working directory: '/var/tmp/portage/sci-mathematics/z3-4.8.3/work/z3-4.8.3_build'
 * S: '/var/tmp/portage/sci-mathematics/z3-4.8.3/work/z3-z3-4.8.3'