Bug#948763: z3: cannot be built on buildds

[Helmut Grohne]

Source: z3
Version: 4.8.7-3
Severity: serious

z3 cannot be built on buildds, because its Build-Depends cannot be
satisfied on buildds. Failing to build on buildds is a serious problem.

| Build-Depends: debhelper-compat (= 12),
|                dh-python:all, python3:native, cmake,

dh-python:all is broken. This is why dose-builddebcheck rejects your
package. dh-python is Multi-Arch: foreign and does not need any
annotation.

python3:native is correct in principle. The python ecosystem more
commonly uses python3:any though. dh-python parses the Build-Depends and
I'm not sure that the dh-python parser understands :native today. I
suggest that you prefer :any for python interpreter dependencies in
general.

|                javahelper:all [!hppa !hurd-i386 !m68k !sh4],

Just like python:all this is broken. We don't support cross building
java stuff yet. If you want to get there, get in touch with
debian-cross at lists.debian.org. This needs more work on the lower layers.

If you want to cross build z3 without the java bindings, please use the
<!nojava> build profile.

|                default-jdk:native [!hppa !hurd-i386 !m68k !sh4]

This can work, but when you switch the development kit to native, you
need to explicitly depend on the runtime environment for the host
architecture. That'd be default-jre-headless without :native.
Unfortunately, doing so presently produces a conflict.

Helmut