Source: z3 Version: 4.13.3-1.1 Tags: patch User: [email protected] 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
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 <[email protected]> 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
