Bug 904398

Summary:	sci-mathematics/z3-4.12.1 - -- Configuring incomplete, errors occurred!
Product:	Gentoo Linux	Reporter:	Toralf Förster <toralf>
Component:	Current packages	Assignee:	Michał Górny <mgorny>
Status:	CONFIRMED ---
Severity:	normal	CC:	mgorny, sci
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Attachments:	emerge-info.txt emerge-history.txt environment etc.clang.tar.bz2 etc.portage.tar.bz2 sci-mathematics:z3-4.12.1:20230416-124143.log temp.tar.bz2

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