Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 842615 - sci-mathematics/z3-4.8.16 - CMake Error at .../FindJava.cmake:171 (message):
Summary: sci-mathematics/z3-4.8.16 - CMake Error at .../FindJava.cmake:171 (message):
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: 2022-05-04 17:55 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,17.46 KB, text/plain)
2022-05-04 17:55 UTC, Toralf Förster
Details
CMakeOutput.log (CMakeOutput.log,29.03 KB, text/plain)
2022-05-04 17:55 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,89.47 KB, text/plain)
2022-05-04 17:55 UTC, Toralf Förster
Details
environment (environment,190.20 KB, text/plain)
2022-05-04 17:55 UTC, Toralf Förster
Details
etc.portage.tar.bz2 (etc.portage.tar.bz2,12.60 KB, application/x-bzip)
2022-05-04 17:55 UTC, Toralf Förster
Details
logs.tar.bz2 (logs.tar.bz2,4.55 KB, application/x-bzip)
2022-05-04 17:55 UTC, Toralf Förster
Details
sci-mathematics:z3-4.8.16:20220504-012501.log (sci-mathematics:z3-4.8.16:20220504-012501.log,11.25 KB, text/plain)
2022-05-04 17:55 UTC, Toralf Förster
Details
temp.tar.bz2 (temp.tar.bz2,42.97 KB, application/x-bzip)
2022-05-04 17:55 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 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.