Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 830582 - sci-mathematics/z3-4.8.14 - CMake Error at .../FindPackageHandleStandardArgs.cmake:230 (message):
Summary: sci-mathematics/z3-4.8.14 - CMake Error at .../FindPackageHandleStandardArgs....
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-01-04 08:57 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,15.52 KB, text/plain)
2022-01-04 08:57 UTC, Toralf Förster 		Details
CMakeOutput.log (CMakeOutput.log,28.50 KB, text/plain)
2022-01-04 08:57 UTC, Toralf Förster 		Details
emerge-history.txt (emerge-history.txt,9.17 KB, text/plain)
2022-01-04 08:57 UTC, Toralf Förster 		Details
environment (environment,197.40 KB, text/plain)
2022-01-04 08:57 UTC, Toralf Förster 		Details
etc.portage.tar.bz2 (etc.portage.tar.bz2,18.89 KB, application/x-bzip)
2022-01-04 08:57 UTC, Toralf Förster 		Details
logs.tar.bz2 (logs.tar.bz2,4.45 KB, application/x-bzip)
2022-01-04 08:57 UTC, Toralf Förster 		Details
sci-mathematics:z3-4.8.14:20220104-060454.log (sci-mathematics:z3-4.8.14:20220104-060454.log,11.33 KB, text/plain)
2022-01-04 08:57 UTC, Toralf Förster 		Details
temp.tar.bz2 (temp.tar.bz2,43.99 KB, application/x-bzip)
2022-01-04 08:57 UTC, Toralf Förster 		Details
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Toralf Förster gentoo-dev 2022-01-04 08:57:19 UTC 
-- 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):

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_desktop_systemd-j4-20220104-040024

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

gcc-config -l:
 [1] x86_64-pc-linux-gnu-11.2.1 *
/usr/lib/llvm/13
13.0.0
Python 3.9.9
Available Rust versions:
  [1]   rust-bin-1.57.0 *
The following VMs are available for generation-2:
1)	OpenJDK 8.312_p07 [openjdk-8]
*)	AdoptOpenJDK 8.312_p07 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-8 
  [2]   openjdk-bin-8  system-vm

php cli:

  HEAD of ::gentoo
commit a60e4b5d342a3b5091dbb4a1a6ef0f9a516e3db4
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Tue Jan 4 05:06:49 2022 +0000

    2022-01-04 05:06:48 UTC

emerge -qpvO sci-mathematics/z3
[ebuild  N    ] sci-mathematics/z3-4.8.14  USE="isabelle java -doc -examples -gmp -python" ABI_X86="(64) -32 (-x32)" PYTHON_SINGLE_TARGET="python3_9 -python3_8 -python3_10"
Comment 1 Toralf Förster gentoo-dev 2022-01-04 08:57:20 UTC 
Created attachment 761260 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2022-01-04 08:57:22 UTC 
Created attachment 761261 [details]
CMakeOutput.log
Comment 3 Toralf Förster gentoo-dev 2022-01-04 08:57:23 UTC 
Created attachment 761262 [details]
emerge-history.txt
Comment 4 Toralf Förster gentoo-dev 2022-01-04 08:57:24 UTC 
Created attachment 761263 [details]
environment
Comment 5 Toralf Förster gentoo-dev 2022-01-04 08:57:25 UTC 
Created attachment 761264 [details]
etc.portage.tar.bz2
Comment 6 Toralf Förster gentoo-dev 2022-01-04 08:57:27 UTC 
Created attachment 761265 [details]
logs.tar.bz2
Comment 7 Toralf Förster gentoo-dev 2022-01-04 08:57:28 UTC 
Created attachment 761266 [details]
sci-mathematics:z3-4.8.14:20220104-060454.log
Comment 8 Toralf Förster gentoo-dev 2022-01-04 08:57:29 UTC 
Created attachment 761267 [details]
temp.tar.bz2