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-cr...@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