Created attachment 557764 [details] build.log Z3 build fails with message: Could NOT find JNI (missing: JAVA_AWT_LIBRARY JAVA_JVM_LIBRARY JAVA_INCLUDE_PATH JAVA_INCLUDE_PATH2 JAVA_AWT_INCLUDE_PATH)
Since the latest available z3 in the tree now is 4.8.9 and a lot has changed since - is this still a problem?
I'm seeing it today.
It seems that this is created by the FindJNI.cmake module. It does not contains the directories that gentoo uses for the JDK/JREs. The patch below when applied to FindJNI.cmake allows z3 to compile correctly. I dunno if the patch is complete or correct I would be happier if the patch would find the correct JVM in use and set the directories based on that.
Created attachment 684525 [details, diff] patch with the correct directories. This patch applies on the file itself not on the cmake ebuild so it will be removed if the cmake is rebuilt or a new version is used.
Still open with dev-util/cmake-3.18.5, sci-mathematics/z3-4.8.10 and dev-java/openjdk-8.292_p10. How is it possible that this package is in the tree for some years and does not build at all?
I think it could be also "properly" fixed by using instead /etc/java-config-2/current-system-vm which points to the current selected jvm for Gentoo.
The package (at least version 4.8.10) does build properly if USE=java is disabled.
Version 4.8.10 does not build even if USE=java is enabled.
There is a pending PR for the bug with no attention for over 2 weeks: https://github.com/gentoo/gentoo/pull/21338 PS: I don't want to nag or spam with non-informative messages, but I was advised to ping anybody who might be interested in reviewing it here.
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=743dc8f916fcbd4bef81a6f933c61f5a77a6a1f9 commit 743dc8f916fcbd4bef81a6f933c61f5a77a6a1f9 Author: Alexander Golubev <fatzer2@gmail.com> AuthorDate: 2021-06-20 01:14:38 +0000 Commit: Sam James <sam@gentoo.org> CommitDate: 2021-10-20 02:15:38 +0000 sci-mathematics/z3: fix build failure with USE="java" Closes:https://bugs.gentoo.org/673126 Signed-off-by: Alexander Golubev <fatzer2@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/21338 Signed-off-by: Sam James <sam@gentoo.org> sci-mathematics/z3/z3-4.8.11b.ebuild | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-)
