2020-01-13 05:30:01 UTC
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
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
| 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
firstname.lastname@example.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.