Bug#948763: z3: cannot be built on buildds

[Helmut Grohne]

Hi Ximin,

On Mon, Jan 13, 2020 at 08:00:03PM +0000, Ximin Luo wrote:
> FWIW, when I tried things locally with sbuild, changing dh-python:all to simply dh-python whilst retaining the other annotations *did not work*, regardless of how it's "supposed" to work. That is why I added the extra :all.

This might be a problem with your build environment. Can we move this
part of the z3 bug tracker onto debian-cross at lists.debian.org? Can you
follow up there with an email describing your steps and including the
full build log that fails when you skip the :all on dh-python? We better
understand what's going on here before bothering the z3 maintainers
further.

I'm not opposed to fixing z3. Just slow down. Understand the issues
involved. Ximin usually is exceptionally fast at fixing cross build
issues in the rust ecosystem, but sometimes an extra round of discussion
helps.

Please keep in mind that these annotations can be harmful. For instance
if you annotate a package :native in 20 other packages and then notice
that you should have marked the annotated package "Multi-Arch: foreign",
you'll observe that you make those 20 other packages FTBFS natively by
adding "Multi-Arch: foreign". We should use these annotations sparingly
and always prefer using Multi-Arch: something if possible. And that's
not always possible.

Helmut