Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 904398 - sci-mathematics/z3-4.12.1 - -- Configuring incomplete, errors occurred!
Summary: sci-mathematics/z3-4.12.1 - -- Configuring incomplete, errors occurred!
Status: CONFIRMED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Michał Górny
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2023-04-16 13:41 UTC by Toralf Förster
Modified: 2024-02-14 09:19 UTC (History)
2 users (show)

See Also:
Package list:
Runtime testing required: ---


Attachments
emerge-info.txt (emerge-info.txt,19.46 KB, text/plain)
2023-04-16 13:41 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,198.93 KB, text/plain)
2023-04-16 13:41 UTC, Toralf Förster
Details
environment (environment,196.32 KB, text/plain)
2023-04-16 13:41 UTC, Toralf Förster
Details
etc.clang.tar.bz2 (etc.clang.tar.bz2,712 bytes, application/x-bzip)
2023-04-16 13:41 UTC, Toralf Förster
Details
etc.portage.tar.bz2 (etc.portage.tar.bz2,25.58 KB, application/x-bzip)
2023-04-16 13:41 UTC, Toralf Förster
Details
sci-mathematics:z3-4.12.1:20230416-124143.log (sci-mathematics:z3-4.12.1:20230416-124143.log,10.89 KB, text/plain)
2023-04-16 13:41 UTC, Toralf Förster
Details
temp.tar.bz2 (temp.tar.bz2,44.35 KB, application/x-bzip)
2023-04-16 13:41 UTC, Toralf Förster
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Toralf Förster gentoo-dev 2023-04-16 13:41:44 UTC
Call Stack (most recent call first):
  /usr/share/cmake/Modules/FindPackageHandleStandardArgs.cmake:600 (_FPHSA_FAILURE_MESSAGE)
  /usr/share/cmake/Modules/FindJNI.cmake:562 (find_package_handle_standard_args)
  src/api/java/CMakeLists.txt:2 (find_package)


-- Configuring incomplete, errors occurred!
 * ERROR: sci-mathematics/z3-4.12.1::gentoo failed (configure phase):
 *   cmake failed

  -------------------------------------------------------------------

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_desktop_systemd_merged_usr-j4-20230412-221033

  -------------------------------------------------------------------

gcc-config -l:
 [1] x86_64-pc-linux-gnu-13 *
clang/llvm (if any):
clang version 16.0.1
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/lib/llvm/16/bin
Configuration file: /etc/clang/clang.cfg
/usr/lib/llvm/16
16.0.1
Python 3.10.11
Available Ruby profiles:
  [1]   ruby30 (with Rubygems) *
Available Rust versions:
  [1]   rust-bin-1.68.2 *
GENTOO_VM=  CLASSPATH="" JAVA_HOME="/etc/java-config-2/current-system-vm"
JAVACFLAGS="" COMPILER=""
The following VMs are available for generation-2:
1)	Eclipse Temurin JDK 17.0.6_p10 [openjdk-bin-17]
*)	Eclipse Temurin JDK 8.362_p09 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8  system-vm
  [2]   openjdk-bin-17 

The Glorious Glasgow Haskell Compilation System, version 9.0.2
php cli (if any):
go version go1.20.3 linux/amd64

  HEAD of ::gentoo
commit 037a3bc4a6194ec6f80e06677f6ceb585d916f97
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Sun Apr 16 12:16:58 2023 +0000

    2023-04-16 12:16:57 UTC

emerge -qpvO sci-mathematics/z3
[ebuild  N    ] sci-mathematics/z3-4.12.1  USE="java -doc -examples -gmp -isabelle -python" ABI_X86="(64) -32 (-x32)" PYTHON_SINGLE_TARGET="python3_10 -python3_9 -python3_11"
Comment 1 Toralf Förster gentoo-dev 2023-04-16 13:41:45 UTC
Created attachment 860184 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2023-04-16 13:41:46 UTC
Created attachment 860185 [details]
emerge-history.txt
Comment 3 Toralf Förster gentoo-dev 2023-04-16 13:41:48 UTC
Created attachment 860186 [details]
environment
Comment 4 Toralf Förster gentoo-dev 2023-04-16 13:41:48 UTC
Created attachment 860187 [details]
etc.clang.tar.bz2
Comment 5 Toralf Förster gentoo-dev 2023-04-16 13:41:49 UTC
Created attachment 860188 [details]
etc.portage.tar.bz2
Comment 6 Toralf Förster gentoo-dev 2023-04-16 13:41:50 UTC
Created attachment 860189 [details]
sci-mathematics:z3-4.12.1:20230416-124143.log
Comment 7 Toralf Förster gentoo-dev 2023-04-16 13:41:51 UTC
Created attachment 860190 [details]
temp.tar.bz2