* Package: sci-mathematics/z3-4.8.14 * Repository: gentoo * Maintainer: gienah@gentoo.org mgorny@gentoo.org,sci@gentoo.org * USE: abi_x86_64 amd64 elibc_glibc isabelle java kernel_linux python_single_target_python3_9 userland_GNU * FEATURES: network-sandbox preserve-libs sandbox userpriv usersandbox * Using python3.9 to build >>> Unpacking source... >>> Unpacking z3-4.8.14.tar.gz to /var/tmp/portage/sci-mathematics/z3-4.8.14/work >>> Source unpacked in /var/tmp/portage/sci-mathematics/z3-4.8.14/work >>> Preparing source in /var/tmp/portage/sci-mathematics/z3-4.8.14/work/z3-z3-4.8.14 ... * Source directory (CMAKE_USE_DIR): "/var/tmp/portage/sci-mathematics/z3-4.8.14/work/z3-z3-4.8.14" * Build directory (BUILD_DIR): "/var/tmp/portage/sci-mathematics/z3-4.8.14/work/z3-4.8.14_build" >>> Source prepared. >>> Configuring source in /var/tmp/portage/sci-mathematics/z3-4.8.14/work/z3-z3-4.8.14 ... * abi_x86_64.amd64: running multilib-minimal_abi_src_configure * Source directory (CMAKE_USE_DIR): "/var/tmp/portage/sci-mathematics/z3-4.8.14/work/z3-z3-4.8.14" * Build directory (BUILD_DIR): "/var/tmp/portage/sci-mathematics/z3-4.8.14/work/z3-4.8.14_build-abi_x86_64.amd64" cmake -C /var/tmp/portage/sci-mathematics/z3-4.8.14/work/z3-4.8.14_build-abi_x86_64.amd64/gentoo_common_config.cmake -G Ninja -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_INSTALL_DOCDIR=/usr/share/doc/z3-4.8.14 -DZ3_USE_LIB_GMP=no -DZ3_ENABLE_EXAMPLE_TARGETS=OFF -DZ3_BUILD_DOCUMENTATION=no -DZ3_BUILD_PYTHON_BINDINGS=no -DZ3_BUILD_JAVA_BINDINGS=yes -DZ3_INCLUDE_GIT_DESCRIBE=OFF -DZ3_INCLUDE_GIT_HASH=OFF -DJAVA_HOME=/opt/openjdk-bin-8.312_p07 -DCMAKE_BUILD_TYPE=RelWithDebInfo -DCMAKE_TOOLCHAIN_FILE=/var/tmp/portage/sci-mathematics/z3-4.8.14/work/z3-4.8.14_build-abi_x86_64.amd64/gentoo_toolchain.cmake /var/tmp/portage/sci-mathematics/z3-4.8.14/work/z3-z3-4.8.14 loading initial cache file /var/tmp/portage/sci-mathematics/z3-4.8.14/work/z3-4.8.14_build-abi_x86_64.amd64/gentoo_common_config.cmake -- The CXX compiler identification is GNU 11.2.1 -- 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 -- Z3 version 4.8.14.0 -- Failed to find git directory. CMake Warning at CMakeLists.txt:51 (message): Disabling Z3_INCLUDE_GIT_DESCRIBE Call Stack (most recent call first): CMakeLists.txt:100 (disable_git_describe) CMake Warning at CMakeLists.txt:55 (message): Disabling Z3_INCLUDE_GIT_HASH Call Stack (most recent call first): CMakeLists.txt:101 (disable_git_hash) -- CMake generator: Ninja -- Build type: RelWithDebInfo -- Found PythonInterp: /var/tmp/portage/sci-mathematics/z3-4.8.14/temp/python3.9/bin/python (found version "3.9.9") -- PYTHON_EXECUTABLE: /var/tmp/portage/sci-mathematics/z3-4.8.14/temp/python3.9/bin/python -- Detected target architecture: x86_64 -- Platform: Linux -- Not using libgmp -- Not using Z3_API_LOG_SYNC -- Thread-safe build -- Performing Test HAS_SSE2 -- Performing Test HAS_SSE2 - Success -- 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 - 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__fvisibility_inlines_hidden -- Performing Test HAS__fvisibility_inlines_hidden - Success -- C++ compiler supports -fvisibility-inlines-hidden -- Performing Test HAS__fPIC -- Performing Test HAS__fPIC - Success -- C++ compiler supports -fPIC -- LTO disabled -- CMAKE_CXX_FLAGS: "-pipe -march=native -fno-diagnostics-color -O2 -Werror=odr " -- CMAKE_EXE_LINKER_FLAGS: "-Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0" -- CMAKE_STATIC_LINKER_FLAGS: "" -- CMAKE_SHARED_LINKER_FLAGS: "-Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0" -- CMAKE_CXX_FLAGS_RELWITHDEBINFO: "" -- CMAKE_EXE_LINKER_FLAGS_RELWITHDEBINFO: "" -- CMAKE_SHARED_LINKER_FLAGS_RELWITHDEBINFO: "" -- CMAKE_STATIC_LINKER_FLAGS_RELWITHDEBINFO: "" -- Z3_COMPONENT_CXX_DEFINES: $<$:Z3DEBUG>;$<$:_EXTERNAL_RELEASE>;$<$:_EXTERNAL_RELEASE>;-D_LINUX_;-D_USE_THREAD_LOCAL;-D_MP_INTERNAL;$<$:_TRACE> -- Z3_COMPONENT_CXX_FLAGS: -mfpmath=sse;-msse;-msse2;-Wall;-fvisibility=hidden;-fvisibility-inlines-hidden;-fPIC -- Z3_DEPENDENT_LIBS: Threads::Threads -- Z3_COMPONENT_EXTRA_INCLUDE_DIRS: /var/tmp/portage/sci-mathematics/z3-4.8.14/work/z3-4.8.14_build-abi_x86_64.amd64/src;/var/tmp/portage/sci-mathematics/z3-4.8.14/work/z3-z3-4.8.14/src -- Z3_DEPENDENT_EXTRA_CXX_LINK_FLAGS: -- 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 dd -- 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 params -- 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 "fpa2bv_rewriter_params.hpp" -- Adding rule to generate "pattern_inference_params_helper.hpp" -- Adding rule to generate "poly_rewriter_params.hpp" -- Adding rule to generate "rewriter_params.hpp" -- Adding rule to generate "seq_rewriter_params.hpp" -- Adding component rewriter -- Adding component normal_forms -- Adding rule to generate "nnf_params.hpp" -- Adding component macros -- Adding component model -- Adding rule to generate "model_evaluator_params.hpp" -- Adding rule to generate "model_params.hpp" -- Adding component tactic -- Adding rule to generate "tactic_params.hpp" -- Adding component substitution -- Adding component euf -- Adding component smt_params -- Adding rule to generate "smt_params_helper.hpp" -- Adding component parser_util -- Adding rule to generate "parser_params.hpp" -- Adding component grobner -- 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 core_tactics -- Adding component subpaving_tactic -- Adding component aig_tactic -- Adding component arith_tactics -- Adding component solver -- Adding rule to generate "combined_solver_params.hpp" -- Adding rule to generate "parallel_params.hpp" -- Adding rule to generate "solver_params.hpp" -- Adding component cmd_context -- Adding component extra_cmds -- Adding component smt2parser -- Adding component solver_assertions -- Adding component pattern -- Adding component bit_blaster -- Adding component lp -- Adding component mbp -- Adding component sat_smt -- Adding component sat_tactic -- 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 proofs -- Adding component fpa -- 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 -- Found Java: /opt/openjdk-bin-8.312_p07/bin/java (found version "1.8.0_312") CMake Error at /usr/share/cmake/Modules/FindPackageHandleStandardArgs.cmake:230 (message): Could NOT find JNI (missing: JAVA_AWT_LIBRARY) Call Stack (most recent call first): /usr/share/cmake/Modules/FindPackageHandleStandardArgs.cmake:594 (_FPHSA_FAILURE_MESSAGE) /usr/share/cmake/Modules/FindJNI.cmake:382 (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.14/work/z3-4.8.14_build-abi_x86_64.amd64/CMakeFiles/CMakeOutput.log". * ERROR: sci-mathematics/z3-4.8.14::gentoo failed (configure phase): * cmake failed * * Call stack: * ebuild.sh, line 127: Called src_configure * environment, line 5172: Called cmake-multilib_src_configure * environment, line 1156: Called multilib-minimal_src_configure * environment, line 3980: Called multilib_foreach_abi 'multilib-minimal_abi_src_configure' * environment, line 4247: Called multibuild_foreach_variant '_multilib_multibuild_wrapper' 'multilib-minimal_abi_src_configure' * environment, line 3910: Called _multibuild_run '_multilib_multibuild_wrapper' 'multilib-minimal_abi_src_configure' * environment, line 3908: Called _multilib_multibuild_wrapper 'multilib-minimal_abi_src_configure' * environment, line 584: Called multilib-minimal_abi_src_configure * environment, line 3974: Called multilib_src_configure * environment, line 4465: Called cmake_src_configure * environment, line 1414: 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.14::gentoo'`, * the complete build log and the output of `emerge -pqv '=sci-mathematics/z3-4.8.14::gentoo'`. !!! When you file a bug report, please include the following information: GENTOO_VM= CLASSPATH="" JAVA_HOME="/etc/java-config-2/current-system-vm" JAVACFLAGS="" COMPILER="" and of course, the output of emerge --info =z3-4.8.14 * The complete build log is located at '/var/log/portage/sci-mathematics:z3-4.8.14:20220104-060454.log'. * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/z3-4.8.14/temp/build.log'. * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/z3-4.8.14/temp/environment'. * Working directory: '/var/tmp/portage/sci-mathematics/z3-4.8.14/work/z3-4.8.14_build-abi_x86_64.amd64' * S: '/var/tmp/portage/sci-mathematics/z3-4.8.14/work/z3-z3-4.8.14'