Bug 842615

Summary:	sci-mathematics/z3-4.8.16 - CMake Error at .../FindJava.cmake:171 (message):
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 CMakeOutput.log emerge-history.txt environment etc.portage.tar.bz2 logs.tar.bz2 sci-mathematics:z3-4.8.16:20220504-012501.log temp.tar.bz2

Description Toralf Förster gentoo-dev

2022-05-04 17:55:43 UTC

-- Adding rule to generate "opt_params.hpp"
-- Adding component api
-- Adding component api_dll
-- Adding component fuzzing
CMake Error at /usr/share/cmake/Modules/FindJava.cmake:171 (message):
  Error executing java -version
Call Stack (most recent call first):

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_no_multilib_hardened-j4-20220503-100004

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

gcc-config -l:
 [1] x86_64-pc-linux-gnu-9.3.1
 [2] x86_64-pc-linux-gnu-11.3.0 *
clang/llvm (if any):
clang version 14.0.3
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/lib/llvm/14/bin
/usr/lib/llvm/14
14.0.3
Python 3.9.12
Available Ruby profiles:
  [1]   ruby26 (with Rubygems)
  [2]   ruby27 (with Rubygems)
  [3]   ruby31 (with Rubygems) *
Available Rust versions:
  [1]   rust-1.60.0 *
GENTOO_VM=  CLASSPATH="" JAVA_HOME="/etc/java-config-2/current-system-vm"
JAVACFLAGS="" COMPILER=""
The following VMs are available for generation-2:
1)	OpenJDK 11.0.14_p9 [openjdk-11]
Available Java Virtual Machines:
  [1]   openjdk-11 

The Glorious Glasgow Haskell Compilation System, version 8.10.4
php cli:

  HEAD of ::gentoo
commit 51ed60259ce6accee2cb7ea339dbeb8d7f2fa798
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Wed May 4 00:18:07 2022 +0000

    2022-05-04 00:18:07 UTC

emerge -qpvO sci-mathematics/z3
[ebuild  N    ] sci-mathematics/z3-4.8.16  USE="examples gmp java -doc -isabelle -python" PYTHON_SINGLE_TARGET="python3_9 -python3_8 -python3_10"

Comment 1 Toralf Förster gentoo-dev

2022-05-04 17:55:45 UTC

Created attachment 776723 [details]
emerge-info.txt

Comment 2 Toralf Förster gentoo-dev

2022-05-04 17:55:46 UTC

Created attachment 776726 [details]
CMakeOutput.log

Comment 3 Toralf Förster gentoo-dev

2022-05-04 17:55:47 UTC

Created attachment 776729 [details]
emerge-history.txt

Comment 4 Toralf Förster gentoo-dev

2022-05-04 17:55:48 UTC

Created attachment 776732 [details]
environment

Comment 5 Toralf Förster gentoo-dev

2022-05-04 17:55:49 UTC

Created attachment 776735 [details]
etc.portage.tar.bz2

Comment 6 Toralf Förster gentoo-dev

2022-05-04 17:55:50 UTC

Created attachment 776738 [details]
logs.tar.bz2

Comment 7 Toralf Förster gentoo-dev

2022-05-04 17:55:51 UTC

Created attachment 776741 [details]
sci-mathematics:z3-4.8.16:20220504-012501.log

Comment 8 Toralf Förster gentoo-dev

2022-05-04 17:55:53 UTC

Created attachment 776744 [details]
temp.tar.bz2

Comment 9 Staffan Palmroos 2022-06-18 17:13:36 UTC

I just had this issue. It turns out my java setup was out of whack.

Doing java -version complained about missing icedtea-bin-8 or something but I didn't even have that installed. It must have changed at some point to openjdk so I used "eselect java-vm set system [number]" to fix my java and then it worked.