Bug#1152216: z3 FTCBFS: fails running the Java compiler

[Helmut Grohne]

Source: z3
Version: 4.13.3-1.1
Tags: patch
User: debian-cross at lists.debian.org
Usertags: ftcbfs

z3 fails to cross build from source, because it fails running the Java
compiler, which is requested as a host architecture executable. Most of
the time, a native Java development kit can be used for compiling Java
bindings. This is also the case here. Please consider applying the
attached patch.

Helmut
-------------- next part --------------
diff -Nru z3-4.13.3/debian/changelog z3-4.13.3/debian/changelog
--- z3-4.13.3/debian/changelog	2026-05-04 14:38:14.000000000 +0200
+++ z3-4.13.3/debian/changelog	2026-10-15 14:44:38.000000000 +0200
@@ -1,3 +1,10 @@
+z3 (4.13.3-1.2) UNRELEASED; urgency=medium
+
+  * Non-maintainer upload.
+  * Fix FTCBFS: Use a native Java development kit. (Closes: #-1)
+
+ -- Helmut Grohne <helmut at subdivi.de>  Thu, 15 Oct 2026 14:44:38 +0200
+
 z3 (4.13.3-1.1) unstable; urgency=medium
 
   * Non-maintainer upload.
diff -Nru z3-4.13.3/debian/control z3-4.13.3/debian/control
--- z3-4.13.3/debian/control	2026-05-04 14:38:14.000000000 +0200
+++ z3-4.13.3/debian/control	2026-10-15 14:44:35.000000000 +0200
@@ -7,7 +7,7 @@
                cmake, libsimde-dev, python3:any, python3-setuptools,
                dh-sequence-python3 <!nopython>,
                dh-sequence-javahelper [!hppa !hurd-any !m68k !sh4] <!nojava>,
-               default-jdk [!hppa !hurd-any !m68k !sh4] <!nojava>
+               default-jdk:native [!hppa !hurd-any !m68k !sh4] <!nojava>
 Standards-Version: 4.7.0
 Homepage: https://github.com/Z3Prover/z3
 Vcs-Git: https://salsa.debian.org/pkg-llvm-team/z3.git