Fabian Wolff: > On Mon, 13 Jan 2020 06:21:56 +0100 Helmut Grohne <hel...@subdivi.de> wrote: >> 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. > > It builds now on all but three architectures, including, in particular, all > release architectures. > >> [...] > > Thanks for your suggestions, but I'm not very familiar with how Multi-Arch > annotations should be used; I just accepted a patch to make the z3 package > more cross-build friendly (see #948109). >
I tested this myself and also it's now working on buildds, so I don't see what the problem is here. Can we just close this bug report and mark it as `notfound -1 $version`? 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. > Can you give me a patch where you set the build dependency annotations in a > sound way that also works for cross-building? Otherwise, I would have to > simply remove all annotations again in order to fix this bug (but clearly, > that would not be the most desirable solution). > > I would also be happy to use the nojava build profile that you suggested, > but again, I'm not familiar with this technique, and from what I've heard, > there are still some problems e. g. with using "dh-sequence-javahelper > <!nojava>". But if somebody gave me a patch, I'd be happy to apply it. > > Thanks for your help! > Fabian > -- GPG: ed25519/56034877E1F87C35 GPG: rsa4096/1318EFAC5FBBDBCE https://github.com/infinity0/pubkeys.git
